16666 search results - page 2601 / 3334 » Descriptive and Computational Complexity |
193
click to vote
JAIR
2008
15 years 7 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
645
click to vote
Publication
In this paper, we propose a new variational framework for computing continuous curve skeletons from discrete objects that are suitable for structural shape representation.
We have...
178
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Data analysis applications typically aggregate data across many dimensions looking for anomalies or unusual patterns. The SQL aggregate functions and the GROUP BY operator produce ...
180
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We develop techniques to investigate relativized hierarchical unambiguous computation. We apply our techniques to push forward some known constructs involving relativized...
226
click to vote
JCIT
2008
15 years 7 months ago
2008
A multilevel semantic document classification system based on Support Vector Machine (SVM) in association with domain ontologies has been developed. The documents related to the s...