2038 search results - page 306 / 408 » Improvements to the Psi-SSA representation |
94
Voted
MOVEP
2000
15 years 4 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
116
click to vote
GI
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...
134
Voted
CVPR
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper, we present an approach to multi-view image-based 3D reconstruction by statistically inversing the ray-tracing based image generation process. The proposed algorithm...
109
Voted
AIPS
2008
15 years 3 months ago
2008
In the planning-as-SAT paradigm there have been numerous recent developments towards improving the speed and scalability of planning at the cost of finding a step-optimal parallel...
125
click to vote
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Studies have shown that users have great difficulty specifying their security and privacy policies in a variety of application domains. While machine learning techniques have succ...