2664 search results - page 108 / 533 » Theory of processes |
100
Voted
RANLP
2003
15 years 2 months ago
2003
This paper proposes a formal framework for development and exploitation of a corpus, based on the HPSG linguistic theory. The formal representation of the annotation scheme facili...
109
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
93
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
One of the classic results in scheduling theory is the 2-approximation algorithm by Lenstra, Shmoys, and Tardos for the problem of scheduling jobs to minimize makespan on unrelate...
102
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we propose an attention-based vision system for the JAST interactive dialog robot. The robotic vision system incorporates three submodules: object recognition, gestu...
141
click to vote
PRDC
2009
IEEE
15 years 7 months ago
2009
IEEE
—With ever-growing complexity of computer and communication systems analytical methods do not scale, especially with respect to dependability assessment of information technology...