485 search results - page 42 / 97 » Embedded intelligent SRAM |
118
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
This demonstration illustrates the feasibility of harvesting data from a WSN by interested parties, either in the WSN coverage area or in a remote location. Embedded and mobile ag...
139
Voted
RSCTC
2004
Springer
15 years 9 months ago
2004
Springer
The theory of rough sets and formal concept analysis are compared in a common framework based on formal contexts. Different concept lattices can be constructed. Formal concept ana...
130
Voted
TPHOL
2003
IEEE
15 years 9 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 ...
138
click to vote
ROBOCOMM
2007
IEEE
15 years 10 months ago
2007
IEEE
—The fields of autonomous robotics and ambient intelligence are converging toward the vision of smart robotic environments, in which tasks are performed via the cooperation of m...
149
click to vote
SAC
2005
ACM
15 years 9 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...