1620 search results - page 118 / 324 » Testing Polymorphic Properties |
145
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper suggests a new measure of symmetry for bifurcating structures, which relies not only on topology and ordering, but also on quantitative properties (e.g. length of branc...
159
click to vote
BPM
2008
Springer
15 years 7 months ago
2008
Springer
The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the beh...
126
click to vote
IJBRA
2010
15 years 2 months ago
2010
The TreeSAAP software has been successfully used in a variety of protein studies for identifying and characterizing adaptation in terms of shifts in the physicochemical properties ...
119
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
A new estimator, optimal in the frequency domain with respect to the masking properties of the human auditory system, is proposed. This new filtering technique prevents the emerg...
143
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...