3951 search results - page 323 / 791 » Automatic amortized analysis |
197
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
195
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
Operating systems are complex and their behavior depends on many factors. Source code, if available, does not directly help one to understand the OS's behavior, as the behavi...
212
click to vote
CAIP
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a comprehensive approach to extract a common feature set from the image sequences. We use simple features which are easily extracted from a 3D wireframe model ...
173
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Fingerprinting is a technique that permits automatic classification of strategies for playing a game. In this study the evolution of strategies for playing the iterate...
185
click to vote
CLEF
2007
Springer
16 years 25 days ago
2007
Springer
This paper presents my participation to the second Morpho Challenge. Results have been obtained with the algorithm already presented at Morpho Challenge 2005. The system takes a p...