31387 search results - page 420 / 6278 » Abstracts |
214
Voted
CTCS
1987
Springer
15 years 11 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
179
Voted
AIPS
2008
15 years 10 months ago
2008
We consider a generalization of the PDB homomorphism abstractions to what is called "structural patterns". The bais in abstracting the problem in hand into provably trac...
204
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
148
Voted
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
Abstract
188
Voted
BIBE
2008
IEEE
2008
IEEE
Assessment of muscle fatigue using a probabilistic framework for an EMG-based robot control scenario
15 years 9 months ago
Abstract-- Human-robot control interfaces have received in