9455 search results - page 1808 / 1891 » The Modelling Language Zinc |
144
click to vote
IJITN
2010
14 years 10 months ago
2010
With the proliferation of inexpensive cameras and the availability of high-speed wired and wireless networks, systems of distributed cameras are becoming an enabling technology fo...
154
click to vote
CHI
2010
ACM
14 years 10 months ago
2010
ACM
Teaching is inherently a social interaction between teacher and student. Despite this knowledge, many educational tools, such as vocabulary training programs, still model the inte...
141
click to vote
AAMAS
2011
Springer
14 years 8 months ago
2011
Springer
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...
109
click to vote
AI
2011
Springer
14 years 8 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
143
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...