3718 search results - page 296 / 744 » Programming by Integration in Robotics |
206
click to vote
ATVA
2007
Springer
16 years 27 days ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
143
click to vote
IFIP
2007
Springer
16 years 26 days ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
183
click to vote
FGR
2006
IEEE
16 years 23 days ago
2006
IEEE
We present a novel tracking algorithm that uses dynamic programming to determine the path of target objects and that is able to track an arbitrary number of different objects. The...
181
Voted
ICMCS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper proposes employing a graph-theoretic approach to estimate the region correspondence between two images. We represent each image as an attributed undirected graph and tr...
151
click to vote
DEXA
2005
Springer
16 years 7 days ago
2005
Springer
Finding intensional encapsulations of database subsets is the inverse of query evaluation. Whereas query evaluation transforms an intensional expression (the query) to its extensi...