7904 search results - page 1216 / 1581 » Sequence Query Processing |
191
click to vote
KBSE
2003
IEEE
16 years 4 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
168
click to vote
GECCO
2003
Springer
16 years 2 days 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...
195
click to vote
ICES
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Vertebrate and most invertebrate organisms interact with their environment through processes of adaptation and learning. Such processes are generally controlled by comple...
203
click to vote
AVSS
2009
IEEE
15 years 12 months ago
2009
IEEE
In several video surveillance applications, such as the detection of abandoned/stolen objects or parked vehicles, the detection of stationary foreground objects is a critical task...
196
click to vote
WIA
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we consider the problem of minimization of deterministic finite automata (DFA) with reference to Hopcroft’s algorithm. Hopcroft’s algorithm has several degrees o...