Sciweavers

2797 search results - page 313 / 560
» Control Structures
Sort
View
121
Voted
KBSE
2008
IEEE
15 years 10 months ago
Reducing the Cost of Path Property Monitoring Through Sampling
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
Matthew B. Dwyer, Madeline Diep, Sebastian G. Elba...
SMA
2006
ACM
136views Solid Modeling» more  SMA 2006»
15 years 10 months ago
Controlled-topology filtering
Many applications require the extraction of isolines and isosurfaces from scalar functions defined on regular grids. These scalar functions may have many different origins: from ...
Yotam I. Gingold, Denis Zorin
IJAR
2008
155views more  IJAR 2008»
15 years 4 months ago
Estimation of causal effects using linear non-Gaussian causal models with hidden variables
The task of estimating causal effects from non-experimental data is notoriously difficult and unreliable. Nevertheless, precisely such estimates are commonly required in many fiel...
Patrik O. Hoyer, Shohei Shimizu, Antti J. Kerminen...
MICCAI
2003
Springer
16 years 5 months ago
User-Defined B-Spline Template-Snakes
We combine a new user initialization process with a B-spline snake to create a model with the properties of a deformable template. This `template' snake can be constrained by ...
Tim McInerney, Hoda Dehmeshki
127
Voted
ENTCS
2006
199views more  ENTCS 2006»
15 years 4 months ago
Compositional Operational Semantics of a UML-Kernel-Model Language
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
Harald Fecher, Marcel Kyas, Willem P. de Roever, F...