Sciweavers

5608 search results - page 287 / 1122
» On the Theory of Matchgate Computations
Sort
View
ENTCS
2008
79views more  ENTCS 2008»
15 years 6 months ago
Tensors of Comodels and Models for Operational Semantics
In seeking a unified study of computational effects, in particular in order to give a general operational semantics agreeing with the standard one for state, one must take account...
Gordon D. Plotkin, John Power
CORR
2011
Springer
188views Education» more  CORR 2011»
15 years 1 months ago
Primitive words and roots of words
In the algebraic theory of codes and formal languages, the set Q of all primitive words over some alphabet Σ has received special interest. With this survey article we give an ove...
Gerhard Lischke
SIGLEX
1991
15 years 10 months ago
Aspectual Requirements of Temporal Connectives: Evidence for a Two-Level Approach to Semantics
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...
Michael Herweg
IPPS
2007
IEEE
16 years 1 months ago
A Strategyproof Mechanism for Scheduling Divisible Loads in Linear Networks
In this paper we augment DLT (Divisible Load Theory) with incentives such that it is beneficial for processors to report their true processing capacity and compute their assignme...
Thomas E. Carroll, Daniel Grosu
FGR
2002
IEEE
185views Biometrics» more  FGR 2002»
15 years 11 months ago
An Adaptive Fusion Architecture for Target Tracking
A vision system is demonstrated that adaptively allocates computational resources over multiple cues to robustly track a target in 3D. The system uses a particle filter to mainta...
Gareth Loy, Luke Fletcher, Nicholas Apostoloff, Al...