Sciweavers

2490 search results - page 284 / 498
» Complexity of Contextual Reasoning
Sort
View
FGR
2004
IEEE
169views Biometrics» more  FGR 2004»
15 years 8 months ago
Skin Detection using Neighborhood Information
Skin detection is employed in tasks like face detection and tracking, naked people detection, hand detection and tracking, people retrieval in databases and Internet, etc. However...
Javier Ruiz-del-Solar, Rodrigo Verschae
137
Voted
FM
2006
Springer
121views Formal Methods» more  FM 2006»
15 years 8 months ago
Properties of Behavioural Model Merging
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
Greg Brunet, Marsha Chechik, Sebastián Uchi...
FORMATS
2006
Springer
15 years 8 months ago
Symbolic Robustness Analysis of Timed Automata
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
Conrado Daws, Piotr Kordy
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
15 years 8 months ago
Structure and metaheuristics
Metaheuristics have often been shown to be effective for difficult combinatorial optimization problems. The reason for that, however, remains unclear. A framework for a theory of ...
Yossi Borenstein, Riccardo Poli
ESOP
2000
Springer
15 years 8 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv