1738 search results - page 234 / 348 » Local Consistency and SAT-Solvers |
173
click to vote
APSEC
2006
IEEE
16 years 6 days ago
2006
IEEE
Coupling and cohesion between subsystems are commonly studied metrics when analyzing the architecture of software systems. It is usually desirable for subsystems to have high cohe...
149
click to vote
DSN
2006
IEEE
16 years 6 days ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
193
click to vote
ICAT
2006
IEEE
16 years 6 days ago
2006
IEEE
Abstract. In this paper, MM-Model is presented for real-time simulation of 3D deformable objects on both global level and local region. This model consists of a deformable centerli...
140
click to vote
ICMCS
2006
IEEE
16 years 5 days ago
2006
IEEE
In this paper, a new approach for automatic audio classification using non-negative matrix factorization (NMF) is presented. Training is performed onto each audio class individua...
160
click to vote
ICMCS
2006
IEEE
16 years 5 days ago
2006
IEEE
This paper describes our new algorithm for shot boundary detection and its evaluation. We adopt a 2-stage data fusion approach with SVM technique to decide whether a boundary exis...