3233 search results - page 442 / 647 » Validation Method for Intelligent Systems |
161
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
187
click to vote
SIBGRAPI
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper we study the use of computer vision techniques for for underwater visual tracking and counting of fishes in vivo. The methodology is based on the application of a B...
355
click to vote
IPMI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Three dimensional medial paths or curve skeletons (CS) are an essential component of any virtual endoscopy (VE) system, because they serve as flight paths for a virtual ...
154
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
The process of labeling each word in a sentence with one of its lexical categories (noun, verb, etc) is called tagging and is a key step in parsing and many other language processi...
169
click to vote
CBMS
2001
IEEE
15 years 10 months ago
2001
IEEE
Image indexing for biomedical content is a prohibitively expensive task if done manually. This leads to the demand for effective automated or computer assisted indexing methods. W...