9405 search results - page 1558 / 1881 » Computing a Model of Set Theory |
193
click to vote
WACV
2005
IEEE
16 years 6 days ago
2005
IEEE
The paper describes a video tracking system that tracks and analyzes the behavioral pattern of users in a public space. We have obtained important statistical measurements about u...
130
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
The problem of providing tools to support legally valid negotiations between agents is becoming more and more critical. Agents are supposed to perform crucial tasks autonomously; ...
177
click to vote
DIS
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, the semantic relationships between a predicate and its arguments in terms of semantic roles are employed to improve lexical-based named entity recognition (NER) in t...
166
click to vote
EMMCVPR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper, we present a novel successive relaxation linear programming scheme for solving the important class of consistent labeling problems for which an L1 metric i...
169
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...