3053 search results - page 419 / 611 » Structured Objects: Modeling and Reasoning |
180
click to vote
IPSN
2007
Springer
16 years 18 days ago
2007
Springer
Surveillance is one of the promising applications to which smart camera motes forming a vision-enabled network can add increasing levels of intelligence. We see a high degree of i...
156
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Cooperation is the fundamental underpinning of multi-agent systems, allowing agents to interact to achieve their goals. Where agents are self-interested, or potentially unreliable...
143
click to vote
FOSSACS
2007
Springer
16 years 19 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
171
click to vote
AAAI
2004
15 years 7 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...
145
click to vote
MS
2003
15 years 7 months ago
2003
Manufacturing test structures of microsensors and microactuators is very expensive in terms of time and materials. In a conventional design process, this limits the number of desi...