24105 search results - page 4324 / 4821 » Models in Information Retrieval |
219
click to vote
ARC
2009
Springer
16 years 2 months ago
2009
Springer
A system for automatically classifying the trajectory of a moving object in a scene as usual or suspicious is presented. The system uses an unsupervised neural network (Self Organi...
137
click to vote
CCS
2009
ACM
16 years 2 months ago
2009
ACM
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...
183
click to vote
FOSSACS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
216
click to vote
PERVASIVE
2009
Springer
16 years 2 months ago
2009
Springer
Location information is an important source of context for ubiquitous computing systems. We have previously developed a wearable location system that combines a foot-mounted inerti...
196
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...