3116 search results - page 229 / 624 » Recovering |
105
Voted
SIGGRAPH
1994
ACM
15 years 4 months ago
1994
ACM
We present a general method for automatic reconstruction of accurate, concise, piecewise smooth surface models from scattered range data. The method can be used in a variety of ap...
87
Voted
ICML
1989
IEEE
15 years 4 months ago
1989
IEEE
The available concept-learners only partially fulfill the needs imposed by the learning apprentice generation of learners. We present a novel approach to interactive concept-learni...
114
click to vote
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
112
click to vote
C3S2E
2009
ACM
15 years 4 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...