Sciweavers

12487 search results - page 2102 / 2498
» Graspable Work Modeling
Sort
View
AGP
1999
IEEE
15 years 11 months ago
ACI1 constraints
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gi...
ARVLSI
1999
IEEE
162views VLSI» more  ARVLSI 1999»
15 years 11 months ago
Conjunction Search Using a 1-D, Analog VLSI-based, Attentional Search/Tracking Chip
The ability of animals to select a limited region of sensory space for scrutiny is an important factor in dealing with cluttered or complex sensory environments. Such an attention...
Timothy K. Horiuchi, Ernst Niebur
CHI
1999
ACM
15 years 11 months ago
Interactive 3D Sound Hyperstories for Blind Children
Interactive software is currently used for learning and entertainment purposes. This type of software is not very common among blind children because most computer games and elect...
Mauricio Lumbreras, Jaime Sánchez
HT
1999
ACM
15 years 11 months ago
Mix'n'match: Exchangeable Modules of Hypermedia Style
Making hypermedia adaptable for multiple forms of presentation involves enabling multiple distinct specifications for how a given collection of hypermedia can have its presentatio...
Lloyd Rutledge, Lynda Hardman, Jacco van Ossenbrug...
PODC
1999
ACM
15 years 11 months ago
On k-Set Consensus Problems in Asynchronous Systems
ÐIn this paper, we investigate the k-set consensus problem in asynchronous distributed systems. In this problem, each participating process begins the protocol with an input value...
Roberto De Prisco, Dahlia Malkhi, Michael K. Reite...
« Prev « First page 2102 / 2498 Last » Next »