Sciweavers

8555 search results - page 124 / 1711
» Property Based Coordination
Sort
View
LREC
2008
253views Education» more  LREC 2008»
13 years 10 months ago
Learning properties of Noun Phrases: from data to functions
The paper presents two experiments of unsupervised classification of Italian noun phrases. The goal of the experiments is to identify the most prominent contextual properties that...
Valeria Quochi, Basilio Calderone
ENTCS
2006
173views more  ENTCS 2006»
13 years 9 months ago
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata
Partially Ordered Symbolic Automata (POSAs) are used as the semantical foundation of visual formalisms like the scenario based language of Live Sequence Charts (LSCs). To check whe...
Tobe Toben, Bernd Westphal
TIFS
2008
183views more  TIFS 2008»
13 years 8 months ago
Blind Authentication Using Periodic Properties of Interpolation
In this paper we analyze and analytically describe the specific statistical changes brought into the covariance structure of signal by the interpolation process. We show that inter...
Babak Mahdian, Stanislav Saic
TCAD
2002
121views more  TCAD 2002»
13 years 8 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
JMIV
2010
91views more  JMIV 2010»
13 years 7 months ago
Topological Properties of Thinning in 2-D Pseudomanifolds
Preserving topological properties of objects during thinning procedures is an important issue in the field of image analysis. In the case of 2-D digital images (i.e. images defi...
Nicolas Passat, Michel Couprie, Loïc Mazo, Gi...