2909 search results - page 202 / 582 » Consistency of the theory of contexts |
186
click to vote
HASKELL
2006
ACM
16 years 14 days ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
162
click to vote
ITICSE
2006
ACM
16 years 14 days ago
2006
ACM
: This paper presents a novel elearning platform called IREEL. IREEL is a virtual laboratory allowing students to drive experiments with real...
172
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
Domestic and real world robotics requires continuous learning of new skills and behaviors to interact with humans. Auto-supervised learning, a compromise between supervised and co...
179
click to vote
CICLING
2005
Springer
16 years 1 days ago
2005
Springer
Passage retrieval consists in identifying short but informative runs of a long text, given a specific user query. We discuss the sources of evidence that help choosing likely high-...
156
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Today’s software operate in a dynamic, organizational context and hence, it needs flexible architectures based in social and intentional concepts to enable software to evolve con...