1701 search results - page 179 / 341 » Computer Science and State Machines |
101
Voted
ASSETS
2007
ACM
15 years 2 months ago
2007
ACM
We address the practical problem of automating the process of translating figures from mathematics, science, and engineering textbooks to a tactile form suitable for blind student...
POPL
2010
ACM
15 years 21 days ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
We consider qualitative and quantitative verification problems for infinite-state Markov chains. We call a Markov chain decisive w.r.t. a given set of target states F if it almos...
CCGRID
2010
IEEE
14 years 11 months ago
2010
IEEE
Rapid growth of the demand for computational power by scientific, business and web-applications has led to the creation of large-scale data centers consuming enormous amounts of el...
86
Voted
AUTOMATICA
1999
14 years 10 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...