3378 search results - page 248 / 676 » A universe of binding and computation |
120
click to vote
HRI
2010
ACM
16 years 1 months ago
2010
ACM
Abstract—Hala is a bilingual (Arabic and English) culturallysensitive robot receptionist located at Carnegie Mellon University in Qatar. We report results from Hala’s deploymen...
144
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
ion for Concurrent Objects Ivana Filipovi´c, Peter O’Hearn, Noam Rinetzky, and Hongseok Yang Queen Mary University of London, UK Concurrent data structures are usually designed ...
167
Voted
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g....
154
click to vote
ICRA
2006
IEEE
16 years 21 days ago
2006
IEEE
— In this paper, we present our threefold concept of ”bringing robotics closer to students”. Our efforts begin with motivating high-school students to study engineering scien...
225
click to vote
IEEEICCI
2006
IEEE
16 years 21 days ago
2006
IEEE
The original rough set model is concerned primarily with the approximation of sets described by single binary relation on universe. In the view of granular computing, classical ro...