2293 search results - page 233 / 459 » Temporal Logic in Information Systems |
193
click to vote
ITCC
2005
IEEE
16 years 25 days ago
2005
IEEE
We propose a Web recommendation system based on a maximum entropy model. Under the maximum entropy principle, we can combine multiple levels of knowledge about users’ navigation...
210
click to vote
ICIAP
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we explore the interlink between temporally dense view-based object recognition and sparse image representations with local keypoints. The temporal component is an a...
212
click to vote
FASE
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
207
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The goal of this work is to build video cameras whose spatial and temporal resolutions can be changed post-capture depending on the scene. Building such cameras is diffic...
189
click to vote
IJON
2006
15 years 7 months ago
2006
We present an application of Independent Component Analysis (ICA) to the discrimination of mental tasks for EEG-based Brain Computer Interface systems. ICA is most commonly used w...