7661 search results - page 1384 / 1533 » Languages and the Computing Profession |
110
click to vote
FASE
2010
Springer
15 years 8 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
198
click to vote
EATIS
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...
133
click to vote
AAAI
2008
15 years 7 months ago
2008
We present a computational model, MoralDM, which integrates several AI techniques in order to model recent psychological findings on moral decision-making. Current theories of mor...
141
click to vote
AAAI
2008
15 years 7 months ago
2008
We propose a new discriminative framework, namely Hidden Dynamic Conditional Random Fields (HDCRFs), for building probabilistic models which can capture both internal and external...
128
click to vote
AIIDE
2007
15 years 7 months ago
2007
AI techniques are already widely used in game software to provide computer-controlled opponents for human players. However, game design is a more-challenging problem than game pla...