2278 search results - page 299 / 456 » Specification Techniques for Automatic Performance Analysis ... |
129
click to vote
ENTCS
2007
15 years 4 months ago
2007
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...
181
click to vote
DSVIS
1998
Springer
15 years 9 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
177
click to vote
DEDS
2000
15 years 4 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
171
click to vote
TKDE
1998
15 years 4 months ago
1998
—We investigate methods to improve the performance of algorithms for automatic storage reclamation of object databases. These algorithms are based on a technique called partition...
133
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
This paper explores the use of volumetric features for action recognition. First, we propose a novel method to correlate spatio-temporal shapes to video clips that have been autom...