Sciweavers

1344 search results - page 221 / 269
» Automatic performance analysis with periscope
Sort
View
LICS
2003
IEEE
15 years 4 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
CAIP
2003
Springer
176views Image Analysis» more  CAIP 2003»
15 years 4 months ago
Evaluation of an Adaptive Composite Gaussian Model in Video Surveillance
Video surveillance systems seek to automatically identify events of interest in a variety of situations. Extracting a moving object from background is the most important step of t...
Qi Zang, Reinhard Klette
GECCO
2003
Springer
15 years 4 months ago
Hierarchical BOA Solves Ising Spin Glasses and MAXSAT
Abstract. Theoretical and empirical evidence exists that the hierarchical Bayesian optimization algorithm (hBOA) can solve challenging hierarchical problems and anything easier. Th...
Martin Pelikan, David E. Goldberg
SSDBM
2010
IEEE
105views Database» more  SSDBM 2010»
15 years 4 months ago
Organization of Data in Non-convex Spatial Domains
We present a technique for organizing data in spatial databases with non-convex domains based on an automatic characterization using the medial-axis transform (MAT). We define a t...
Eric A. Perlman, Randal C. Burns, Michael M. Kazhd...
ECMDAFA
2010
Springer
207views Hardware» more  ECMDAFA 2010»
15 years 4 months ago
An Automated Approach to Transform Use Cases into Activity Diagrams
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...
Tao Yue, Lionel C. Briand, Yvan Labiche