4372 search results - page 696 / 875 » Objects for Lexical Analysis |
167
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
148
Voted
TSD
2007
Springer
15 years 11 months ago
2007
Springer
Previously we have shown that ASR technology can be used to objectively evaluate pathologic speech. Here we report on progress for routine clinical use: 1) We introduce an easy-to-...
156
click to vote
WEBDB
2007
Springer
15 years 11 months ago
2007
Springer
This paper pursues the recently emerging paradigm of searching for entities that are embedded in Web pages. We utilize informationextraction techniques to identify entity candidat...
147
click to vote
3DPVT
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper we report our progress in building a system for the acquisition, analysis, and visualization of a collection of Native Californian baskets from the Phoebe A. Hear...
140
click to vote
AICCSA
2006
IEEE
15 years 11 months ago
2006
IEEE
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...