3742 search results - page 435 / 749 » On the Use of Formal Techniques for Validation |
166
click to vote
ROBIO
2006
IEEE
16 years 22 days ago
2006
IEEE
— A fully embedded tactile/force sensor system to be installed on the phalanges of a robot hand is presented in this paper. The sensor consists of a distributed array of analog t...
192
click to vote
DASFAA
2005
IEEE
16 years 10 days ago
2005
IEEE
Schema matching is a key operation in data engineering. Combining multiple matching strategies is a very promising technique for schema matching. To overcome the limitations of exi...
203
click to vote
EMSOFT
2005
Springer
16 years 7 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
181
click to vote
EWCBR
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we present an agent-based application of a wireless tourist guide that combines the Beliefs-Desires-Intentions approach with learning capabilities of Case Base Reason...
189
click to vote
IBERAMIA
2004
Springer
16 years 2 days ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...