595 search results - page 40 / 119 » Using Constraints with Memory to Implement Variable Eliminat... |
121
Voted
OOPSLA
1995
Springer
15 years 7 months ago
1995
Springer
Object-oriented user interface frameworks are usually implemented in a class-based language. We chose instead to develop a prototype-based language, NewtonScript, for this purpose...
123
click to vote
UAI
1998
15 years 4 months ago
1998
Recent research in decision theoretic planning has focussedon making the solution of Markov decision processes (MDPs) more feasible. We develop a family of algorithms for structur...
104
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
—For a stationary additive Gaussian-noise channel with a rational noise power spectrum of a finite-order L, we derive two new results for the feedback capacity under an average ...
122
click to vote
IANDC
2008
15 years 3 months ago
2008
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
141
click to vote
SPAA
2009
ACM
16 years 4 months ago
2009
ACM
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...