Sciweavers

5600 search results - page 876 / 1120
» Evaluating affective interactions
Sort
View
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
16 years 22 days ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
222
Voted
IROS
2006
IEEE
108views Robotics» more  IROS 2006»
16 years 20 days ago
Basic Study on Sensory Aspects of a Master/Slave System for Force Telecommunication
– The advancement of multimedia services including audio/visual media has been rapid. The applications of cellular phones, in particular, have increased by using these technologi...
Masayuki Hara, Jian Huang, Young-Mi Jung, Tetsuro ...
ITICSE
2006
ACM
16 years 18 days ago
Creating a realistic context for team projects in HCI
Team projects are nowadays common practice in HCI education. This paper focuses on the role of clients and users in team projects in introductory HCI courses. In order to provide ...
Herman Koppelman, Betsy van Dijk
PADS
2006
ACM
16 years 17 days ago
Aurora: An Approach to High Throughput Parallel Simulation
A master/worker paradigm for executing large-scale parallel discrete event simulation programs over networkenabled computational resources is proposed and evaluated. In contrast t...
Alfred Park, Richard M. Fujimoto
CAMP
2005
IEEE
16 years 7 days ago
Reinforcement Learning for P2P Searching
— For a peer-to-peer (P2P) system holding massive amount of data, an efficient and scalable search for resource sharing is a key determinant to its practical usage. Unstructured...
Luca Gatani, Giuseppe Lo Re, Alfonso Urso, Salvato...