2473 search results - page 349 / 495 » Systems, Views and Models of UML |
200
click to vote
CVPR
2006
IEEE
16 years 1 months ago
2006
IEEE
Nowadays, GPS-based car navigation systems mainly use speech and aerial views of simplified road maps to guide drivers to their destination. However, drivers often experience dif...
180
click to vote
WSE
2006
IEEE
16 years 28 days ago
2006
IEEE
For web applications, determining how requests from a web page are routed through server components can be time-consuming and error-prone due to the complex set of rules and mecha...
192
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. We present a new approach for self-calibrating the distortion function and the distortion center of cameras with general radially symmetric distortion. In contrast to mos...
201
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
165
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
Beginning to create the New Oxford English Dictionary database has resulted in the realization that databases for reference texts are unlike those for conventional enterprises. Wh...