3844 search results - page 607 / 769 » Modular interpreted systems |
285
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
282
click to vote
POPL
2002
ACM
16 years 6 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
167
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
We present the application of customized code generation to database query evaluation. The idea is to use a collection of highly efficient code templates and dynamically instantiat...
135
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— When analyzed in the tangential speed domain, human movements exhibit a multi-peaked speed profile which is commonly interpreted as evidence for submovements. At slow speeds, ...
178
click to vote
AI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We use a hierarchical Bayesian approach to model user preferences in different contexts or settings. Unlike many previous recommenders, our approach is content-based. We...