Sciweavers

1071 search results - page 191 / 215
» Using Cell-DEVS for Modeling Complex Cell Spaces
Sort
View
CONSTRAINTS
2007
112views more  CONSTRAINTS 2007»
15 years 3 months ago
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
Francisco Azevedo
AAAI
2004
15 years 4 months ago
A Comparison of Techniques for Scheduling Earth Observing Satellites
Scheduling observations by coordinated fleets of Earth Observing Satellites (EOS) involves large search spaces, complex constraints and poorly understood bottlenecks; conditions w...
Al Globus, James Crawford, Jason D. Lohn, Anna Pry...
ENTCS
2006
109views more  ENTCS 2006»
15 years 3 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
CVPR
2003
IEEE
16 years 5 months ago
Variational Inference for Visual Tracking
The likelihood models used in probabilistic visual tracking applications are often complex non-linear and/or nonGaussian functions, leading to analytically intractable inference. ...
Jaco Vermaak, Neil D. Lawrence, Patrick Pér...
SIGMOD
2008
ACM
136views Database» more  SIGMOD 2008»
16 years 3 months ago
Mining relationships among interval-based events for classification
Existing temporal pattern mining assumes that events do not have any duration. However, events in many real world applications have durations, and the relationships among these ev...
Dhaval Patel, Wynne Hsu, Mong-Li Lee