738 search results - page 98 / 148 » Object Orientation and Formal Techniques |
184
click to vote
GEOS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Conceptual Graphs are a very powerful knowledge and meaning representation formalism grounded on deep philosophical, linguistic and object oriented principles [1], [2]. C...
183
click to vote
ICFP
1999
ACM
15 years 10 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
192
click to vote
ADBIS
2006
Springer
15 years 10 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
196
click to vote
CRV
2004
IEEE
15 years 10 months ago
2004
IEEE
- This paper presents a global method to process monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only t...
188
click to vote
AIPR
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a method to process axial monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only to ...