821 search results - page 26 / 165 » What is an object |
134
Voted
TAP
2008
Springer
15 years 4 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
140
click to vote
ACS
2006
15 years 4 months ago
2006
Prime objects were defined as generalization of simple objects in the categories of rings (modules). In this paper we introduce and investigate what turns out to be a suitable gen...
136
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
While navigating in an environment, a vision system has to be able to recognize where it is and what the main objects in the scene are. In this paper we present a contextbased vis...
129
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
163
click to vote
CAD
2005
Springer
15 years 4 months ago
2005
Springer
A tool which can quickly interpret line drawings (with hidden lines removed) of engineering objects as boundary representation CAD models would be of significant benefit in the pr...