Sciweavers

170 search results - page 11 / 34
» Model Inference Approach for Detecting Feature Interactions ...
Sort
View
FIW
2007
133views Communications» more  FIW 2007»
13 years 10 months ago
Conflict Detection in Call Control Using First-Order Logic Model Checking
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...
DAGM
2009
Springer
14 years 3 months ago
Pedestrian Detection by Probabilistic Component Assembly
We present a novel pedestrian detection system based on probabilistic component assembly. A part-based model is proposed which uses three parts consisting of head-shoulder, torso a...
Martin Rapus, Stefan Munder, Gregory Baratoff, Joa...
VL
2005
IEEE
126views Visual Languages» more  VL 2005»
14 years 2 months ago
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...
Claudia Ermel, Karsten Hölscher, Sabine Kuske...
VIP
2000
13 years 10 months ago
Automatic Extraction of Lung Boundaries by a Knowledge-Based Method
The aim of this paper is to develop accurate and reliable methods for automated detection of the edges of the lung by a knowledge-based approach. First, the system initialises the...
Mira Park, Laurence S. Wilson, Jesse S. Jin
CPAIOR
2004
Springer
14 years 2 months ago
SIMPL: A System for Integrating Optimization Techniques
Abstract In recent years, the Constraint Programming (CP) and Operations Research (OR) communities have explored the advantages of combining CP and OR techniques to formulate and s...
Ionut D. Aron, John N. Hooker, Tallys H. Yunes