15792 search results - page 156 / 3159 » Computational Abstraction Steps |
CONCUR
1994
Springer
14 years 1 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
ACCV
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We propose a new principle for recognizing fingerspelling sequences from American Sign Language (ASL). Instead of training a system to recognize the static posture for ea...
ASPDAC
2005
ACM
13 years 11 months ago
2005
ACM
Abstract— Today’s embedded systems are typically distributed and more often confronted with timevarying demands. Existing methodologies that optimize the partitioning of comput...
COLCOM
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract. Traditional workflow enactment systems and workflow design processes view the workflow as a one-time interaction with the various data sources, executing a series of step...
DIS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper proposes initial steps towards a generic framework for modeling the scientific process. It is generic according to two main axes. First, it can be instantiated...