3951 search results - page 63 / 791 » Automatic amortized analysis |
144
click to vote
NAR
2000
15 years 3 months ago
2000
The ProtoMap site offers an exhaustive classification of all proteins in the SWISS-PROT database, into groups of related proteins. The classification is based on analysis of all p...
160
click to vote
MODELS
2010
Springer
15 years 2 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...
141
click to vote
COSPS
2001
Springer
15 years 8 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...
143
click to vote
IJIT
2004
15 years 5 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...
122
click to vote
DEXAW
2007
IEEE
15 years 10 months 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...