4166 search results - page 239 / 834 » Automating the constraining process |
142
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
132
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. The payoff received by the controller can be evaluated in different ways, dep...
130
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...
123
click to vote
ERLANG
2004
ACM
15 years 9 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
114
click to vote
NIME
2004
Springer
15 years 9 months ago
2004
Springer
The authors have developed several methods for spatially distributing spectral material in real-time using frequency-domain processing. Applying spectral spatialization techniques...