Sciweavers

1155 search results - page 77 / 231
» A Decision-Theoretic Model of Assistance
Sort
View
FM
2008
Springer
77views Formal Methods» more  FM 2008»
15 years 1 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
ASE
1998
81views more  ASE 1998»
14 years 11 months ago
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
Steven G. Woods, Qiang Yang
ESWA
2008
169views more  ESWA 2008»
14 years 11 months ago
Predicting opponent's moves in electronic negotiations using neural networks
Electronic negotiation experiments provide a rich source of information about relationships between the negotiators, their individual actions, and the negotiation dynami...
Réal Carbonneau, Gregory E. Kersten, Rustam...
ECTEL
2009
Springer
15 years 6 months ago
Distributed Awareness for Class Orchestration
The orchestration process consists of managing classroom interactions at multiple levels: individual activities, teamwork and class-wide sessions. We study the process of orchestra...
Hamed S. Alavi, Pierre Dillenbourg, Fréd&ea...
ISMAR
2007
IEEE
15 years 6 months ago
Visualization of Spatial Sensor Data in the Context of Automotive Environment Perception Systems
Spatial sensor systems in cars are gaining more and more importance. Such sensor systems are the foundation of future safety systems, such as automatic emergency brakes, as well a...
Marcus Tönnis, Rudi Lindlf, Leonhard Walchsh&...