3028 search results - page 225 / 606 » Integrating Temporal Logics |
181
click to vote
PPDP
2005
Springer
16 years 22 days ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
183
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
The bag-of-words representation has attracted a lot of attention recently in the field of object recognition. Based on the bag-of-words representation, topic models such as Probab...
188
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a general framework for multi-sensor object recognition through a discriminative probabilistic approach modelling spatial and temporal correlations. The alg...
218
click to vote
DASC
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
195
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...