8056 search results - page 1391 / 1612 » Object Behavior Analysis |
154
click to vote
SGAI
2007
Springer
16 years 17 days ago
2007
Springer
In this paper we describe the concept of Meta ARM in the context of its objectives and challenges and go on to describe and analyse a number of potential solutions. Meta ARM is de...
179
click to vote
TACAS
2007
Springer
16 years 17 days 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...
161
click to vote
TSD
2007
Springer
16 years 17 days 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-...
169
click to vote
WEBDB
2007
Springer
16 years 17 days 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...
158
click to vote
3DPVT
2006
IEEE
16 years 16 days 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...