4752 search results - page 276 / 951 » From computation models to models of provenance: the RWS app... |
181
click to vote
VISUALIZATION
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents a novel approach for surface reconstruction from point clouds. The proposed technique is general in the sense that it naturally handles both manifold and non-m...
193
click to vote
SARA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...
173
click to vote
EPEW
2007
Springer
16 years 28 days ago
2007
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
262
click to vote
COMSIS
2011
14 years 10 months ago
2011
The paper presents an approach to the task of automatic document categorization in the field of economics. Since the documents can be annotated with multiple keywords (labels), we ...
178
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...