434 search results - page 32 / 87 » Embedded Intelligence |
109
click to vote
JELIA
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
AAAI
2007
15 years 1 months ago
2007
Recently the problem of dimensionality reduction has received a lot of interests in many fields of information processing. We consider the case where data is sampled from a low d...
TPHOL
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
101
Voted
SAC
2005
ACM
15 years 4 months ago
2005
ACM
This paper describes the use of fault tolerance in a multiagent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabiliti...
GLOBECOM
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract—Increasing interest in sensor networking and ubiquitous computing has created a trend towards embedding more and more intelligence into our surroundings. This enables th...