1492 search results - page 100 / 299 » Testing Properties of Constraint-Graphs |
123
click to vote
Lecture Notes
These notes cover several topics such as Univariate Time Series Analysis, The Distribution of a Sample Average, Least Squares, Instrumental Variable Method, Simulating the Finite S...
129
Voted
ICIP
2005
IEEE
16 years 5 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...
147
Voted
BPM
2008
Springer
15 years 5 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...
113
Voted
IJBRA
2010
15 years 29 days 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 ...
130
Voted
EMSOFT
2009
Springer
15 years 10 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...