5205 search results - page 716 / 1041 » Tilings and model theory |
141
click to vote
ISSTA
2006
ACM
16 years 22 days ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
190
click to vote
IRI
2005
IEEE
16 years 11 days ago
2005
IEEE
Although data integration has been a research subject for decades in the AEC (Architecture Engineering Construction) industry whose data is usually highly fragmented, nowadays we ...
153
Voted
ACII
2005
Springer
16 years 10 days ago
2005
Springer
Environment expression is about going beyond the usual Human emotion expression channels in virtual worlds. This work proposes an integrated storytelling model – the environment ...
205
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
168
click to vote
CCIA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...