Sciweavers

1246 search results - page 166 / 250
» Recursive Timed Automata
Sort
View
119
Voted
ICIP
2007
IEEE
16 years 4 months ago
MAP Particle Selection in Shape-Based Object Tracking
The Bayesian filtering for recursive state estimation and the shape-based matching methods are two of the most commonly used approaches for target tracking. The Multiple Hypothesi...
Alessio Dore, Carlo S. Regazzoni, Mirko Musso
177
Voted
HPCA
2003
IEEE
16 years 3 months ago
A Methodology for Designing Efficient On-Chip Interconnects on Well-Behaved Communication Patterns
As the level of chip integration continues to advance at a fast pace, the desire for efficient interconnects-whether on-chip or off-chip--is rapidly increasing. Traditional interc...
Wai Hong Ho, Timothy Mark Pinkston
114
Voted
IWOCA
2009
Springer
149views Algorithms» more  IWOCA 2009»
15 years 9 months ago
Randomized Postoptimization of Covering Arrays
The construction of covering arrays with the fewest rows remains a challenging problem. Most computational and recursive constructions result in extensive repetition of coverage. W...
Peyman Nayeri, Charles J. Colbourn, Goran Konjevod
99
Voted
LPNMR
2009
Springer
15 years 9 months ago
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input fro...
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas ...
102
Voted
IPPS
2003
IEEE
15 years 7 months ago
On Self-Similarity and Hamiltonicity of Dual-Cubes
The dual-cube is a newly proposed topology for interconnection networks, which uses low dimensional hypercubes as building blocks. The primary advantages of the dual-cube over the...
Changfu Wu, Jie Wu