Sciweavers

2340 search results - page 319 / 468
» Second quarter 2008
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Conviviality masks in multiagent systems
In this paper we study tools for conviviality to develop user-friendly multiagent systems. First, we show how to use the social-cognitive concept of conviviality in multiagent sys...
Patrice Caire, Serena Villata, Guido Boella, Leend...
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
15 years 8 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
BIRTHDAY
2008
Springer
15 years 8 months ago
AND/OR Multi-valued Decision Diagrams for Constraint Networks
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
Robert Mateescu, Rina Dechter
BIRTHDAY
2008
Springer
15 years 8 months ago
The Church-Turing Thesis over Arbitrary Domains
The Church-Turing Thesis has been the subject of many variations and interpretations over the years. Specifically, there are versions that refer only to functions over the natural ...
Udi Boker, Nachum Dershowitz
BPM
2008
Springer
145views Business» more  BPM 2008»
15 years 8 months ago
Modularity in Process Models: Review and Effects
Abstract. The use of subprocesses in large process models is an important step in modeling practice to handle complexity. While there are several advantages attributed to such a mo...
Hajo A. Reijers, Jan Mendling