5804 search results - page 798 / 1161 » Doing more with less |
192
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
Robots are employed to do exacting routines, ranging from the common place to the difficult and from the relatively safe to the highly dangerous. Remote-controlled robots -or tele...
154
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
179
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
176
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
We consider the problem of learning a record matching package (classifier) in an active learning setting. In active learning, the learning algorithm picks the set of examples to ...
177
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Mathematical learning environments help students in mastering mathematical knowledge. Mature environments typically offer thousands of interactive exercises. Providing f...