Sciweavers

2715 search results - page 183 / 543
» An Implementation of Narrowing Strategies
Sort
View
UAIS
2002
100views more  UAIS 2002»
15 years 5 months ago
Toward overcoming culture, skill and situation hurdles in Human-Computer Interaction
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
Paola Carrara, Daniela Fogli, Giuseppe Fresta, Pie...
COR
2008
86views more  COR 2008»
15 years 4 months ago
Optimizing counter-terror operations: Should one fight fire with "fire" or "water"?
This paper deals dynamically with the question of how recruitment to terror organizations is influenced by counter-terror operations. This is done within a optimal control model, ...
Jonathan P. Caulkins, Dieter Grass, Gustav Feichti...
NDT
2010
15 years 4 months ago
A Scalable Framework for Serializable XQuery
This paper focuses on an aspect that is widely neglected in native XML database management systems: support for concurrent transactional access. We analyze the isolation requireme...
Sebastian Bächle, Theo Härder
TACAS
2010
Springer
156views Algorithms» more  TACAS 2010»
15 years 4 months ago
Preemption Sealing for Efficient Concurrency Testing
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
Thomas Ball, Sebastian Burckhardt, Katherine E. Co...
AROBOTS
2010
126views more  AROBOTS 2010»
15 years 3 months ago
Exploiting social partners in robot learning
Social learning in robotics has largely focused on imitation learning. Here we take a broader view and are interested in the multifaceted ways that a social partner can influence t...
Maya Cakmak, Nicholas DePalma, Rosa I. Arriaga, An...