1280 search results - page 58 / 256 » Soft Typing with Conditional Types |
UAI
1994
13 years 10 months ago
1994
Wepresenta symbolicmachinerythatadmits bothprobabilisticand causalinformation abouta givendomainand producesprobabilisticstatementsabouttheeffectofactions andtheimpactof observati...
FAC
2008
2008
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
13 years 9 months ago
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...
DM
1999
13 years 8 months ago
1999
We examine powers of Hamiltonian paths and cycles as well as Hamiltonian (power) completion problems in several highly structured graph classes. For threshold graphs we give effic...
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
— The aim of this paper is quality prediction for streaming MPEG4 video sequences over wireless networks for all video content types. Video content has an impact on video quality...