1585 search results - page 68 / 317 » A framework for computer-aided validation |
100
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper presents a framework for 3D vision based bearing only SLAM using a single camera, an interesting setup for many real applications due to its low cost. The focus in i...
ICSEA
2006
IEEE
15 years 5 months ago
2006
IEEE
—In mobile environment, it is very common that mobile devices periodically stay in disconnection mode. In a networked world as today, computer users rely on network services so h...
INFOCOM
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract—This paper presents an analytic framework to evaluate the performance of peer to peer (P2P) networks. Using the time to download or replicate an arbitrary file as the m...
COMPGEOM
2004
ACM
15 years 5 months ago
2004
ACM
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...