Sciweavers

1816 search results - page 48 / 364
» Trace oblivious computation
Sort
View
FCT
1999
Springer
15 years 3 months ago
A General Categorical Connection between Local Event Structures and Local Traces
Local event structures and local traces are generalizations of the classical prime event structures and Mazurkiewicz’ traces in which independence is no longer a global binary pr...
H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy
JFPLC
2004
15 years 10 days ago
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
Gérard Ferrand, Willy Lesaint, Alexandre Te...
ISMB
1997
15 years 9 days ago
Increasing Consensus Accuracy in DNA Fragment Assemblies by Incorporating Fluorescent Trace Representations
We present a new method for determining the consensus sequence in DNA fragment assemblies. The new method, Trace-Evidence, directly incorporates aligned ABI trace information into...
Carolyn F. Allex, Schuyler F. Baldwin, Jude W. Sha...
CALCO
2009
Springer
139views Mathematics» more  CALCO 2009»
15 years 5 months ago
Traces, Executions and Schedulers, Coalgebraically
A theory of traces of computations has emerged within the field of coalgebra, via finality in Kleisli categories. In concurrency theory, traces are traditionally obtained from ex...
Bart Jacobs, Ana Sokolova
CVPR
2012
IEEE
13 years 1 months ago
Discrete texture traces: Topological representation of geometric context
Modeling representations of image patches that are quasi-invariant to spatial deformations is an important problem in computer vision. In this paper, we propose a novel concept, t...
Jan Ernst, Maneesh Kumar Singh, Visvanathan Ramesh