1724 search results - page 68 / 345 » Abstract Interpreters for Free |
114
click to vote
KI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Scene interpretation systems are often conceived as extensions of low-level image analysis with bottom-up processing for high-level interpretations. In this contribution ...
142
click to vote
IJAC
2007
15 years 5 months ago
2007
Abstract. We say the endomorphism problem is solvable for an element W in a free group F if it can be decided effectively whether, given U in F , there is an endomorphism φ of F ...
147
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Recent outbreaks of virus and worm attacks targeted at cell phones have bought to the forefront the seriousness of the security threat to this increasingly popular mean...
177
click to vote
ISMS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...
137
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...