13383 search results - page 403 / 2677 » Abstractions from proofs |
162
click to vote
AROBOTS
2010
15 years 7 months ago
2010
Abstract Assistive mobile robots that autonomously manipulate objects within everyday settings have the potential to improve the lives of the elderly, injured, and disabled. Within...
182
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
mes, abstracts and year of publication of all 853 papers published.1 We then applied Porter stemming and stopword removal to this text, represented terms from the elds with twice t...
185
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
abstract Parsing schemata [4] provide a formal, simple and uniform way to describe, analyze and compare different parsing algorithms. The notion of a parsing schema comes from cons...
181
click to vote
SOFTWARE
2002
15 years 6 months ago
2002
certain kinds of abstraction that modern operating systems generally include and seek a design that maps directly onto the features that modern hardware implementations provide; ve...
190
click to vote
EELC
2006
15 years 10 months ago
2006
nstructional schemas, both specific and abstract. Children are thought to start out with concrete pieces of language and to gradually develop more schematic constructions. All cons...