Sciweavers

1208 search results - page 153 / 242
» On Counting Generalized Colorings
Sort
View
82
Voted
FPL
2004
Springer
100views Hardware» more  FPL 2004»
15 years 2 months ago
On Optimal Irregular Switch Box Designs
In this paper, we develop a unified theory in analyzing optimal switch box design problems, particularly for the unsolved irregular cases, where different pin counts are allowed on...
Hongbing Fan, Yu-Liang Wu, Chak-Chung Cheung, Jipi...
101
Voted
FOIKS
2006
Springer
15 years 1 months ago
Consistency Checking Algorithms for Restricted UML Class Diagrams
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
Ken Kaneiwa, Ken Satoh
102
Voted
CAIP
2003
Springer
247views Image Analysis» more  CAIP 2003»
15 years 1 months ago
Object Classification and Tracking in Video Surveillance
The design of a video surveillance system is directed on automatic identification of events of interest, especially on tracking and classification of moving vehicles or pedestrian...
Qi Zang, Reinhard Klette
96
Voted
COMPGEOM
2001
ACM
15 years 1 months ago
Computing a 3-dimensional cell in an arrangement of quadrics: exactly and actually!
We present two approaches to the problem of calculating a cell in a 3-dimensional arrangement of quadrics. The first approach solves the problem using rational arithmetic. It work...
Nicola Geismann, Michael Hemmer, Elmar Schöme...
80
Voted
CP
1995
Springer
15 years 1 months ago
Optimization-based Heuristics for Maximal Constraint Satisfaction
We present a new heuristic approach for maximal constraint satisfaction of overconstrained problems (MAX-CSP). This approach is based on a formulation of CSP as an optimization pro...
Javier Larrosa, Pedro Meseguer