1701 search results - page 59 / 341 » Computer Science and State Machines |
ICCV
2009
IEEE
14 years 7 months ago
2009
IEEE
We present an integrated model for visual object localization and continuous state estimation in a discriminative structured prediction framework. While existing discriminative `p...
MFCS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. A binary sequence A = A(0)A(1) . . . is called infinitely often (i.o.) Turing-autoreducible if A is reducible to itself via an oracle Turing machine that never queries it...
ENTCS
2008
14 years 10 months ago
2008
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
WADT
1999
Springer
15 years 2 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
IWMM
2010
Springer
15 years 2 months ago
2010
Springer
With the availability of chip multiprocessor (CMP) and simultaneous multithreading (SMT) machines, extracting thread level parallelism from a sequential program has become crucial...