3645 search results - page 271 / 729 » Implementing mapping composition |
173
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. While several techniques have been introduced for specifying and acquiring context and quality information associated with Web services, they consider such information re...
182
click to vote
IEE
2010
15 years 5 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
180
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
172
click to vote
GBRPR
2009
Springer
16 years 1 months ago
2009
Springer
A universal data model, named DG, is introduced to handle vectorized data uniformly during the whole recognition process. The model supports low level graph algorithms as well as h...
173
click to vote
ROBOCUP
2005
Springer
16 years 3 days ago
2005
Springer
Color calibration is a time-consuming, and therefore costly requirement for most robot teams at RoboCup. This paper presents an approach for autonomous color learning on-board a mo...