7335 search results - page 874 / 1467 » Scene Based Reasoning |
191
click to vote
ISDA
2005
IEEE
16 years 20 days ago
2005
IEEE
Intelligent behavior is the selection of actions based on knowledge. The design of the Fuzzy Adaptive Survivability Tool (FAST) agents and their intelligent behavior is explained....
187
click to vote
LICS
2005
IEEE
16 years 20 days ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
221
click to vote
ASP
2005
Springer
16 years 19 days ago
2005
Springer
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...
153
click to vote
ECSQARU
2005
Springer
16 years 19 days ago
2005
Springer
We describe an algorithm to build a graphical model—more precisely: a join tree representation of a Markov network—for a steady state analog electrical circuit. This model can ...
196
click to vote
LPAR
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...