2638 search results - page 467 / 528 » Frameworks for Reasoning about Agent Based Systems |
143
click to vote
DSVIS
1995
Springer
15 years 9 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
155
click to vote
ACE
2003
15 years 7 months ago
2003
This paper provides a first account of1 the Building the Internet Workforce project. A number of further papers are planned. An outline of the project’s progress and outcomes is...
152
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. We propose a fully automatic framework to detect and extract arbitrary human motion volumes from real-world videos collected from YouTube. Our system is composed of two s...
145
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
154
click to vote
ETS
2007
IEEE
15 years 8 months ago
2007
IEEE
Software-Based Self-Test (SBST) has emerged as an effective strategy for on-line testing of processors integrated in non-safety critical embedded system applications. Among the mo...