3212 search results - page 191 / 643 » Definition and modeling of process using object orientation |
132
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— The aim of this article is to achieve accurate visual servoing tasks when the shape of the object being observed as well as the final image are unknown. More precisely, we wan...
135
Voted
JAR
2008
15 years 5 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
127
click to vote
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
Duplicate detection is the problem of detecting different entries in a data source representing the same real-world entity. While research abounds in the realm of duplicate detect...
163
click to vote
CC
2012
Springer
14 years 23 days ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
163
Voted
IWPC
1997
IEEE
15 years 9 months ago
1997
IEEE
Many organisations are migrating towards object-oriented technology. However, owing to the business value of legacy software, new object-oriented development has to be weighed aga...