9842 search results - page 1761 / 1969 » The Complexity of the Matching-Cut Problem |
138
click to vote
LICS
2009
IEEE
15 years 10 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 ...
155
click to vote
ACAL
2009
Springer
15 years 10 months ago
2009
Springer
Modelling the geometry of organic forms using traditional CAD or animation tools is often difficult and tedious. Different models of morphogenesis have been successfully applied t...
151
click to vote
AIME
2009
Springer
15 years 10 months ago
2009
Springer
The care of the elder at home is highly demanded in modern societies. It is based on the difficult task of coordinating multiple professionals and procedures acting on the same pa...
140
click to vote
AIED
2009
Springer
15 years 10 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...
139
click to vote
AIED
2009
Springer
15 years 10 months ago
2009
Springer
Design of collaborative learning (CL) scenarios is a complex task, but necessary if the goal of the collaboration is learning. Creating well-thought-out CL scenarios requires exper...