Sciweavers

211 search results - page 24 / 43
» A Conceptual Model of Wayfinding Using Multiple Levels of Ab...
Sort
View
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
15 years 9 months ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...
148
Voted
FDL
2006
IEEE
15 years 9 months ago
MCF: A Metamodeling-based Visual Component Composition Framework
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
Deepak Mathaikutty, Sandeep K. Shukla
ECOOPW
2003
Springer
15 years 8 months ago
Advancing the State of the Art in Run-Time Inspection
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
Robert E. Filman, Katharina Mehner, Michael Haupt
163
Voted
ECCV
2010
Springer
15 years 3 months ago
Object Recognition with Hierarchical Stel Models
Abstract. We propose a new generative model, and a new image similarity kernel based on a linked hierarchy of probabilistic segmentations. The model is used to efficiently segment ...
Alessandro Perina, Nebojsa Jojic, Umberto Castella...
RSS
2007
145views Robotics» more  RSS 2007»
15 years 4 months ago
Semantic Modeling of Places using Objects
— While robot mapping has seen massive strides , higher level abstractions in map representation are still not widespread. Maps containing semantic concepts such as objects and l...
Ananth Ranganathan, Frank Dellaert