6167 search results - page 954 / 1234 » Can Refinement be Automated |
112
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
107
click to vote
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
138
Voted
ACIVS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Prematurely born infants are observed at a Neonatal Intensive Care Unit (NICU) for medical treatment. Whereas vital body functions are continuously monitored, their incub...
114
Voted
AIED
2009
Springer
15 years 7 months ago
2009
Springer
Identifying effective tutorial strategies is a key problem for tutorial dialogue systems research. Ongoing work in human-human tutorial dialogue continues to reveal the complex phe...
101
Voted
APNOMS
2009
Springer
15 years 7 months ago
2009
Springer
Femtocell is an emerging technology for expanding cell coverage and increasing data rate, and its users deploy in their own premises by themselves. Therefore, femto base stations c...