10159 search results - page 1842 / 2032 » System Design Validation Using Formal Models |
118
Voted
ICSEA
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper, it is shown that synthetic images can be used to test specific use cases of a lane tracking algorithm which has been developed by Audi AG. This was achieved by s...
159
click to vote
VLDB
2002
ACM
15 years 1 months ago
2002
ACM
Complex database queries require the use of memory-intensive operators like sort and hashjoin. Those operators need memory, also referred to as SQL memory, to process their input ...
126
Voted
CVPR
2000
IEEE
16 years 4 months ago
2000
IEEE
Conventional vision systems are designed to perform in clear weather. However, any outdoor vision system is incomplete without mechanisms that guarantee satisfactory performance u...
129
click to vote
ADL
1998
Springer
15 years 6 months ago
1998
Springer
ct In this paper, we describe the VesaliusTM Project, a multi-modal collection of anatomical resourcesunder development at Columbia University. 1 Our focus is on the need for navig...
126
click to vote
DLOG
2007
15 years 4 months ago
2007
Clio is a joint research project between the University of Toronto and IBM Almaden Research Center started in 1999 to address both foundational and systems issues related to the ma...