1112 search results - page 160 / 223 » Executing Abstract Test Cases |
117
click to vote
ICFP
2002
ACM
15 years 12 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Trees can be conveniently compressed with linear straight-line contextfree tree grammars. Such grammars generalize straight-line context-free string grammars which are wi...
ERCIMDL
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Digital libraries are increasingly relying on distributed services to support increasingly complex tasks such as retrieval or preservation. While there is a growing body ...
134
click to vote
LION
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Haplotype Inference is a challenging problem in bioinformatics that consists in inferring the basic genetic constitution of diploid organisms on the basis of their genoty...
123
click to vote
AMFG
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract. This paper introduces a novel method of single camera gait reconstruction which is independent of the walking direction and of the camera parameters. Recognizing people b...