12981 search results - page 2333 / 2597 » Model Checking (Abstract) |
201
click to vote
3DPVT
2004
IEEE
15 years 8 months ago
2004
IEEE
Abstract-General information about a class of objects, such as human faces or teeth, can help to solve the otherwise ill-posed problem of reconstructing a complete surface from spa...
155
click to vote
ACCV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Motion detection in driving environment, which aims to detect REAL moving objects from continuously changing background, is vital for Adaptive Cruise Control (ACC) applic...
167
click to vote
ADBIS
2006
Springer
15 years 8 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...
139
click to vote
AINA
2004
IEEE
15 years 8 months ago
2004
IEEE
Abstract--Generic file sharing P2P applications have gained high popularity in the past few years. In particular P2P streaming architectures have attracted attention. Some of them ...
157
click to vote
ARCS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...