264 search results - page 16 / 53 » Time Constraint Patterns for Event B Development |
CP
2004
Springer
14 years 26 days ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
CEC
2007
IEEE
13 years 9 months ago
2007
IEEE
— Cultured natural cortical neurons form functional networks through a complex set of developmental steps during the first weeks in vitro. The dynamic behavior of the network in...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Time-varying spatial patterns are common, but few computational tools exist for discovering and tracking multiple, sometimes overlapping, spatial structures of targets. We propose...
KDD
2007
ACM
14 years 7 months ago
2007
ACM
Interaction graphs are ubiquitous in many fields such as bioinformatics, sociology and physical sciences. There have been many studies in the literature targeted at studying and m...
WSC
2008
13 years 9 months ago
2008
Multitrajectory simulation allows explicit management of random events by allowing particular events to be resolved by random draw, by a deterministic choice, or by creating new s...