2621 search results - page 134 / 525 » Generalized Algorithms for Constructing Statistical Language... |
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
APLAS
2008
ACM
14 years 12 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...
IPMI
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The correspondence problem is of high relevance in the construction and use of statistical models. Statistical models are used for a variety of medical application, e.g. ...
ESOP
2009
Springer
15 years 1 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...