Sciweavers

6770 search results - page 319 / 1354
» How GPUs Work
Sort
View
129
Voted
CSCW
2004
ACM
15 years 9 months ago
Individual audio channels with single display groupware: effects on communication and task strategy
We introduce a system that allows four users to each receive sound from a private audio channel while using a shared tabletop display. In order to explore how private audio channe...
Meredith Ringel Morris, Dan Morris, Terry Winograd
CSL
2004
Springer
15 years 9 months ago
A Dependent Type Theory with Names and Binding
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
Ulrich Schöpp, Ian Stark
137
Voted
ISER
2004
Springer
117views Robotics» more  ISER 2004»
15 years 9 months ago
Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
Chris Jones, Maja J. Mataric
158
Voted
SEMWEB
2004
Springer
15 years 9 months ago
Semantic Web Service Interaction Protocols: An Ontological Approach
A central requirement for achieving the vision of run-time discovery and dynamic composition of services is the provision of appropriate descriptions of the operation of a service,...
Ronald Ashri, Grit Denker, Darren Marvin, Mike Sur...
WEBI
2004
Springer
15 years 9 months ago
Semi-Structured Complex List Extraction
The semi-structured information available in HTML and similar documents provide valuable information that can be used for information extraction applications. This information tog...
Anders Arpteg