2944 search results - page 445 / 589 » On Well Quasi-orders on Languages |
171
click to vote
APLAS
2006
ACM
16 years 13 days ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
175
click to vote
DATE
2005
IEEE
16 years 2 days ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
169
click to vote
ICDAR
2005
IEEE
16 years 2 days ago
2005
IEEE
An overview of research in automated gesture spotting, tracking and recognition by the Image and Video Computing Group at Boston University is given. Approaches for localization a...
176
click to vote
ICIP
2005
IEEE
16 years 2 days ago
2005
IEEE
In this paper, we propose a novel technique for modelbased recognition of complex object motion trajectories using Hidden Markov Models (HMM). We build our models on Principal Com...
145
click to vote
IPPS
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...