8874 search results - page 121 / 1775 » A New Implementation of Automath |
114
click to vote
PTS
2007
15 years 5 months ago
2007
Interoperability testing aims at verifying the possibility for two or more components to communicate correctly while providing the foreseen services. In this paper, we describe a n...
119
Voted
SEBD
2007
15 years 5 months ago
2007
Research on data integration has provided languages and systems able to guarantee an integrated intensional representation of a given set of data sources. A significant limitation...
128
click to vote
CSREAEEE
2006
15 years 5 months ago
2006
- This paper presents a complete description of the improvements that have been conducted for the learning management system at Arab Open University. AOU is the first regional univ...
136
click to vote
WSCG
2004
15 years 5 months ago
2004
There are some different methods used for depth perception. In this paper, a new method for the depth perception, by using a single camera based on an interpolation, is introduced...
155
click to vote
DSD
2010
IEEE
15 years 3 months ago
2010
IEEE
Due to the various devices composing a smart camera system, various languages have to be known by the designer (like HDL and C/C++). Most of vision applications designers are soft...