3119 search results - page 387 / 624 » Abstract Requirement Analysis in Multiagent System Design |
163
Voted
IFIP
2001
Springer
15 years 10 months ago
2001
Springer
The overall purpose of this paper is to demonstrate the relevance of semiotics concepts to the analysis of intelligent control systems. Semiotics has only a minor impact on resear...
156
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Self-replication is a fundamental property of many interesting physical, formal and biological systems, such as crystals, waves, automata, and especially forms of natural...
174
click to vote
ASE
2005
15 years 6 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
181
Voted
ASAP
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract – The storage requirements in data-dominant signal processing systems, whose behavior is described by arraybased, loop-organized algorithmic specifications, have an imp...
158
click to vote
ICRA
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract – This paper presents a real-time 3D ultrasoundguided robotic system, designed to autonomously navigate a surgical instrument to surgeon-specified target points. The sys...