2293 search results - page 233 / 459 » Temporal Logic in Information Systems |
160
click to vote
ITCC
2005
IEEE
16 years 7 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...
195
click to vote
ICIAP
2007
ACM
16 years 6 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...
187
click to vote
FASE
2005
Springer
16 years 5 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 ...
177
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...
170
click to vote
IJON
2006
15 years 6 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...