10890 search results - page 167 / 2178 » Automatic Complexity Analysis |
189
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
172
click to vote
COSPS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...
175
click to vote
IJIT
2004
15 years 7 months ago
2004
Camera calibration plays an important role in the domain of the analysis of sports video. Considering soccer video, in most cases, the cross-points can be used for calibration at t...
160
click to vote
DEXAW
2007
IEEE
16 years 23 days ago
2007
IEEE
We present an automatic semantic annotation system for Korean based on the Contextual Exploration Method. Creating a morphological analyzer and part-of-speech tagger for the Korea...
183
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
This article describes a sketch-based framework for semi-automatic annotation of historical document collections. It is motivated by the fact that fully automatic methods, while h...