1054 search results - page 95 / 211 » Translation Validation of System Abstractions |
148
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...
149
click to vote
IROS
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract— This paper presents the design and implementation of a Mission Control System (MCS) for an Autonomous Underwater Vehicle (AUV) based on Petri nets. In the proposed appr...
160
click to vote
ICRA
2008
IEEE
16 years 22 days ago
2008
IEEE
Abstract— In this paper, we analyze and compare five imagebased visual servoing control laws. Three of them are classical while two new ones are proposed. The first new control...
144
click to vote
IPCCC
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— Public Safety Answering Points (PSAPs) serve limited geographic areas, so emergency callers must be directed to the most appropriate PSAP. As part of the overall Intern...
153
click to vote
SARA
2007
Springer
16 years 12 days ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...