Sciweavers

1332 search results - page 41 / 267
» ideas 2008
Sort
View
AAAI
2008
15 years 2 months ago
What Is Answer Set Programming?
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in k...
Vladimir Lifschitz
AIIDE
2008
15 years 2 months ago
Direction Maps for Cooperative Pathfinding
Cooperative behavior is a desired trait in many fields from computer games to robotics. Yet, achieving cooperative behavior is often difficult, as maintaining shared information a...
M. Renee Jansen, Nathan R. Sturtevant
FLAIRS
2008
15 years 2 months ago
ThomCat: A Bayesian Blackboard Model of Hierarchical Temporal Perception
We present a Bayesian blackboard system for temporal perception, applied to a minidomain task in musical scene analysis. It is similar to the classic Copycat architecture (Hofstad...
Charles W. Fox
WSC
2008
15 years 2 months ago
Automated Red Teaming: An objective-based Data Farming approach for Red Teaming
In this paper, we describe an objective-based Data Farming approach for red teaming called Automated Red Teaming (ART). The main idea is to develop an ART framework using Evolutio...
Ching Lian Chua, Wee Chung Sim, Chwee Seng Choo, V...
ATVA
2008
Springer
89views Hardware» more  ATVA 2008»
15 years 1 months ago
Impartial Anticipation in Runtime-Verification
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
Wei Dong, Martin Leucker, Christian Schallhart