Sciweavers

1887 search results - page 321 / 378
» An efficient search algorithm for partially ordered sets
Sort
View
ATVA
2006
Springer
99views Hardware» more  ATVA 2006»
15 years 6 months ago
Whodunit? Causal Analysis for Counterexamples
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gup...
ADHOCNOW
2008
Springer
15 years 4 months ago
Adaptive Priority Based Distributed Dynamic Channel Assignment for Multi-radio Wireless Mesh Networks
Abstract. This paper investigates the challenges involve in designing a dynamic channel assignment (DCA) scheme for wireless mesh networks, particularly for multi-radio systems. It...
Tope R. Kareem, Karel Matthee, H. Anthony Chan, Nt...
SAC
2002
ACM
15 years 2 months ago
Location adjustment for the minimum volume ellipsoid estimator
Estimating multivariate location and scatter with both affine equivariance and positive breakdown has always been difficult. A well-known estimator which satisfies both properties...
Christophe Croux, Gentiane Haesbroeck, Peter J. Ro...
WAIM
2010
Springer
15 years 1 months ago
Hotspot District Trajectory Prediction
Trajectory prediction (TP) of moving objects has grown rapidly to be a new exciting paradigm. However, existing prediction algorithms mainly employ kinematical models to approximat...
Hongjun Li, Changjie Tang, Shaojie Qiao, Yue Wang,...
ICGI
2010
Springer
15 years 8 days ago
Learning Context Free Grammars with the Syntactic Concept Lattice
The Syntactic Concept Lattice is a residuated lattice based on the distributional structure of a language; the natural representation based on this is a context sensitive formalism...
Alexander Clark