1585 search results - page 150 / 317 » A framework for computer-aided validation |
145
click to vote
ICTAI
2008
IEEE
16 years 26 days ago
2008
IEEE
Control architectures, such as the LAAS architecture [1], CLARATY [12] and HARPIC [9], have been developped to provide autonomy to robots. To achieve a robot’s task, these contr...
149
click to vote
IRI
2008
IEEE
16 years 25 days ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
167
click to vote
3DIM
2007
IEEE
16 years 24 days ago
2007
IEEE
We describe a variation of the iterative closest point (ICP) algorithm for aligning two point sets under a set of transformations. Our algorithm is superior to previous algorithms...
164
click to vote
EDOC
2007
IEEE
16 years 23 days ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
198
click to vote
GLOBECOM
2007
IEEE
16 years 23 days ago
2007
IEEE
— This paper considers two important issues for video sensor network, (1) timely delivery of captured video stream and (2) energy-efficient network design. Based on network calc...