Sciweavers

876 search results - page 49 / 176
» Propagating Class and Method Combination
Sort
View
AVSS
2007
IEEE
15 years 4 months ago
Vehicular traffic density estimation via statistical methods with automated state learning
This paper proposes a novel approach of combining an unsupervised clustering scheme called AutoClass with Hidden Markov Models (HMMs) to determine the traffic density state in a R...
Evan Tan, Jing Chen
BC
1999
108views more  BC 1999»
14 years 9 months ago
Exact digital simulation of time-invariant linear systems with applications to neuronal modeling
An ecient new method for the exact digital simulation of time-invariant linear systems is presented. Such systems are frequently encountered as models for neuronal systems, or as s...
Stefan Rotter, Markus Diesmann
SAMT
2009
Springer
176views Multimedia» more  SAMT 2009»
15 years 4 months ago
Shape-Based Autotagging of 3D Models for Retrieval
This paper describes an automatic annotation, or autotagging, algorithm that attaches textual tags to 3D models based on their shape and semantic classes. The proposed method emplo...
Ryutarou Ohbuchi, Shun Kawamura
ECAI
2010
Springer
14 years 10 months ago
Symmetries of Symmetry Breaking Constraints
Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different s...
George Katsirelos, Toby Walsh
FM
2008
Springer
135views Formal Methods» more  FM 2008»
14 years 11 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman