15792 search results - page 156 / 3159 » Computational Abstraction Steps |
171
Voted
CONCUR
1994
Springer
15 years 7 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...
128
Voted
ACCV
2009
Springer
15 years 7 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...
121
Voted
ASPDAC
2005
ACM
15 years 5 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...
122
Voted
COLCOM
2008
IEEE
15 years 5 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...
136
Voted
DIS
2008
Springer
15 years 5 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...