2911 search results - page 199 / 583 » A Theory of Expressiveness in Mechanisms |
169
click to vote
DLT
2009
15 years 4 months ago
2009
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...
209
click to vote
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
An iterated function f(x) is a function that when composed with itself, produces a given expression f(f(x))=g(x). Iterated functions are essential constructs in fractal theory and...
225
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Performance evaluation of document recognition systems is a difficult and practically important problem. Issues arise in defining requirements, in characterizing the system's...
146
click to vote
COGSCI
2011
15 years 1 months ago
2011
This article examines cognitive process models of human sentence comprehension based on the idea of informed search. These models are rational in the sense that they strive to qui...
173
click to vote
STTT
2010
15 years 1 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...