1415 search results - page 237 / 283 » Verified systems by composition from verified components |
ACSAC
2008
IEEE
13 years 9 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
In environments which possess relatively few features that enable a robot to unambiguously determine its location, global localization algorithms can result in multiple hypotheses...
ACL
2006
13 years 9 months ago
2006
A web search with double checking model is proposed to explore the web as a live corpus. Five association measures including variants of Dice, Overlap Ratio, Jaccard, and Cosine, ...
WSCG
2004
13 years 9 months ago
2004
Inverse rendering infers realistic descriptions of illumination and material properties from photographs. However, the applicability of state of the art inverse rendering algorith...
WSCG
2000
13 years 9 months ago
2000
This paper presents a new, accurate, efficient and unified method for dynamic animation of one, two or three-dimensional deformable objects. The objects are modelled as d-dimensio...