2911 search results - page 227 / 583 » A Theory of Expressiveness in Mechanisms |
167
click to vote
WOA
2000
15 years 8 months ago
2000
ogramming are evaluated along three different guidelines: the programming abstractions the calculus suggests; the underlying programming model; the security mechanisms provided. Th...
171
click to vote
IJCAI
1993
15 years 7 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
175
click to vote
ITSSA
2006
15 years 6 months ago
2006
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...
160
click to vote
SIAMAM
2000
15 years 6 months ago
2000
A simplified electrodiffusion model for rectangular current pulses in ionic channels of biological membranes is presented. Numerical simulations and a dynamical systems analysis of...
166
click to vote
ACL
2010
15 years 4 months ago
2010
We introduce a novel mechanism for incorporating articulatory dynamics into speech recognition with the theory of task dynamics. This system reranks sentencelevel hypotheses by th...