2291 search results - page 382 / 459 » Representational Reasoning and Verification |
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...
ICIAP
2009
ACM
14 years 8 months ago
2009
ACM
In a typical video surveillance framework, a single camera or a set of cameras monitor a scene in which human activities are carried out. In this paper, we propose a complementary ...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
This paper describes the results of a study conducted to answer two questions: (1) Do children generalize their understanding of distinctions between conventional and moral violat...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
DCC
2005
IEEE
14 years 7 months ago
2005
IEEE
Providing the best possible face-to-face video over low bandwidth networks is a major challenge for current teleconferencing systems especially when implementing multi-party conve...