3773 search results - page 642 / 755 » Logical Reasoning |
136
click to vote
ISCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Event detection and tracking are attractive research issues in the wireless sensor network (WSN). The paper proposes a fully distributed protocol, CollECT, to event detection and ...
134
click to vote
AVSS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...
122
click to vote
ENC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
146
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
168
click to vote
ASP
2005
Springer
15 years 9 months ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...