Sciweavers

3155 search results - page 142 / 631
» Maintenance: Less Is Not More
Sort
View
129
Voted
HRI
2009
ACM
15 years 11 months ago
How anthropomorphism affects empathy toward robots
A long-standing question within the robotics community is about the degree of human-likeness robots ought to have when interacting with humans. We explore an unexamined aspect of ...
Laurel D. Riek, Tal-Chen Rabinowitch, Bhismadev Ch...
120
Voted
DATE
2009
IEEE
100views Hardware» more  DATE 2009»
15 years 11 months ago
Increasing the accuracy of SAT-based debugging
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
André Sülflow, Görschwin Fey, C&e...
131
Voted
ICDAR
2009
IEEE
15 years 11 months ago
Camera-Based Ballot Counter
Portable ballot counters using camera technology and manual paper feed are potentially more reliable and less expensive than scanner-based systems. We show that the spatial sampli...
George Nagy, Bryan Clifford, Andrew Berg, Glenn Sa...
129
Voted
TFM
2009
Springer
113views Formal Methods» more  TFM 2009»
15 years 11 months ago
Teaching Concurrency: Theory in Practice
Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students...
Luca Aceto, Anna Ingólfsdóttir, Kim ...
149
Voted
WINE
2009
Springer
194views Economy» more  WINE 2009»
15 years 11 months ago
Mechanism Design for Complexity-Constrained Bidders
A well-known result due to Vickery gives a mechanism for selling a number of goods to interested buyers in a way that achieves the maximum social welfare. In practice, a problem wi...
Ravi Kumar, Mohammad Mahdian, Amin Sayedi