1744 search results - page 193 / 349 » What's There to Talk About |
ISRR
2005
Springer
14 years 3 months ago
2005
Springer
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...
ECCV
2000
Springer
15 years 8 days ago
2000
Springer
In this paper, we study general questions about the solvability of the Kruppa equations and show that, in several special cases, the Kruppa equations can be renormalized and becom...
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Much of what we know about how programmers refactor in the wild is based on studies that examine just a few software projects. Researchers have rarely taken the time to replicate ...
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
Previous research has documented the fragmented nature of software development work, with frequent interruptions and coordination. To explain this in more detail, we analyzed soft...
TLDI
2009
ACM
14 years 7 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...