Sciweavers

7978 search results - page 1289 / 1596
» Representation before computation
Sort
View
ECCV
2004
Springer
15 years 10 months ago
Efficient Initialization for Constrained Active Surfaces, Applications in 3D Medical Images
A novel method allowing simplified and efficient active surface initialization for 3D images segmentation is presented. Our method allows to initialize an active surface through si...
Roberto Ardon, Laurent D. Cohen
CIE
2006
Springer
15 years 10 months ago
Forcing with Random Variables and Proof Complexity
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...
Jan Krajícek
EEE
2004
IEEE
15 years 10 months ago
Spreading Activation Models for Trust Propagation
Semantic Web endeavors have mainly focused on issues pertaining to knowledge representation and ontology design. However, besides understanding information metadata stated by subj...
Cai-Nicolas Ziegler, Georg Lausen
COORDINATION
2006
Springer
15 years 10 months ago
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel ...
FSE
2004
Springer
109views Cryptology» more  FSE 2004»
15 years 10 months ago
On the Additive Differential Probability of Exclusive-Or
We study the differential probability adp of exclusive-or when differences are expressed using addition modulo 2N . This function is important when analysing symmetric primitives t...
Helger Lipmaa, Johan Wallén, Philippe Dumas
« Prev « First page 1289 / 1596 Last » Next »