Sciweavers

1816 search results - page 85 / 364
» A New Approach for Solving the Maximum Clique Problem
Sort
View
ICCV
2009
IEEE
16 years 11 months ago
Quantifying Contextual Information for Object Detection
Context is critical for minimising ambiguity in object de- tection. In this work, a novel context modelling framework is proposed without the need of any prior scene segmen- tat...
Wei-Shi Zheng, Shaogang Gong and Tao Xiang
TODAES
2002
134views more  TODAES 2002»
15 years 5 months ago
False-noise analysis using logic implications
ct Cross-coupled noise analysis has become a critical concern in today's VLSI designs. Typically, noise analysis makes an assumption that all aggressing nets can simultaneousl...
Alexey Glebov, Sergey Gavrilov, David Blaauw, Vlad...
ARTS
1997
Springer
15 years 10 months ago
PLC-Automata: A New Class of Implementable Real-Time Automata
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
Henning Dierks
JSW
2007
118views more  JSW 2007»
15 years 5 months ago
A New Formalism for Failure Diagnosis: Ant Colony Decision Petri Nets
— Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A clas...
Calin Ciufudean, Adrian Graur, Constantin Filote, ...
CONSTRAINTS
2007
89views more  CONSTRAINTS 2007»
15 years 6 months ago
Cardinal: A Finite Sets Constraint Solver
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
Francisco Azevedo