1519 search results - page 17 / 304 » What do they think |
ACMMSP
2006
ACM
14 years 1 months ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— In this paper, we study the problem of going from a real-world, multi-agent system to the generation of control programs in an automatic fashion. In particular, a computer visi...
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
AIED
2005
Springer
14 years 1 months ago
2005
Springer
Several computer-based learning support systems and methods help learners to master metacognitive activity. Which systems and methods are designed to eliminate which difficulties a...
APPROX
2005
Springer
14 years 1 months ago
2005
Springer
