1146 search results - page 67 / 230 » Evaluation of modeling techniques for agent-based systems |
CONTEXT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
113
click to vote
PERCOM
2005
ACM
15 years 3 months ago
2005
ACM
A distributed system for approximate query answering on sensor network data is proposed, where a suitable compression technique is exploited to represent data and support query an...
IJON
2008
14 years 9 months ago
2008
In this work we address the problem of boundary detection by combining ideas and approaches from biological and computational vision. Initially, we propose a simple and efficient ...
SUM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...