8828 search results - page 1394 / 1766 » Formal methods in practice |
191
click to vote
RECSYS
2010
ACM
15 years 7 months ago
2010
ACM
An increasing number of social networking platforms are giving users the option to endorse entities that they find appealing, such as videos, photos, or even other users. We defin...
208
click to vote
SOFTVIS
2010
ACM
15 years 7 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
230
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
223
click to vote
CVPR
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper focuses on hallucinating a facial shape from a low-resolution 3D facial shape. Firstly, we give a constrained conformal embedding of 3D shape in R2 , which establishes ...
228
click to vote
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...