Sciweavers

5964 search results - page 1182 / 1193
» A theory of speculative computation
Sort
View
UMUAI
1998
119views more  UMUAI 1998»
13 years 9 months ago
COLLAGEN: A Collaboration Manager for Software Interface Agents
We have implemented an application-independent collaboration manager, called Collagen, based on the SharedPlan theory of discourse, and used it to build a software interface agent...
Charles Rich, Candace L. Sidner
TIT
2002
126views more  TIT 2002»
13 years 9 months ago
Two-dimensional interleaving schemes with repetitions: Constructions and bounds
Abstract--Two-dimensional interleaving schemes with repetitions are considered. These schemes are required for the correction of two-dimensional bursts (or clusters) of errors in a...
Tuvi Etzion, Alexander Vardy
ENTCS
2008
153views more  ENTCS 2008»
13 years 9 months ago
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
The well-known notion of critical pairs already allows a static conflict detection, which is important for all kinds of applications and already implemented in AGG. Unfortunately ...
Leen Lambers, Hartmut Ehrig, Fernando Orejas
JGO
2008
101views more  JGO 2008»
13 years 9 months ago
Dynamic equilibria of group vaccination strategies in a heterogeneous population
Abstract In this paper we present an evolutionary variational inequality model of vaccination strategies games in a population with a known vaccine coverage profile over a certain ...
Monica-Gabriela Cojocaru
PRL
2007
108views more  PRL 2007»
13 years 9 months ago
Towards a measure of deformability of shape sequences
In this paper we develop a theory for characterizing how deformable a shape is given a sequence of its observations. We define a term called ‘‘deformability index’’ (DI) ...
Amit K. Roy Chowdhury
« Prev « First page 1182 / 1193 Last » Next »