Sciweavers

4095 search results - page 671 / 819
» How to test a tree
Sort
View
CHARME
1999
Springer
130views Hardware» more  CHARME 1999»
14 years 10 days ago
Program Slicing of Hardware Description Languages
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Ra...
ICCBR
1999
Springer
14 years 10 days ago
Case Representation, Acquisition, and Retrieval in SIROCCO
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
Bruce M. McLaren, Kevin D. Ashley
DEXAW
1998
IEEE
126views Database» more  DEXAW 1998»
14 years 10 days ago
An Extended Query Reformulation Technique Using Materialized Views
Materialized views offer opportunities for significant performance gain in query evaluation by providing fast access to pre-computed data. The question of when and how to use a ma...
Jae-young Chang, Sang-goo Lee
ICRA
1998
IEEE
107views Robotics» more  ICRA 1998»
14 years 9 days ago
Mobile Robot Exploration and Map-Building with Continuous Localization
Our research addresses how to integrate exploration and localization for mobile robots. A robot exploring and mapping an unknown environment needs to know its own location, but it...
Brian Yamauchi, Alan C. Schultz, William Adams
COMPGEOM
1998
ACM
14 years 9 days ago
Viewspace Partitioning of Densely Occluded Scenes
Computing the visibility of out-door scenes is often much harder than of in-door scenes. A typical urban scene, for example, is densely occluded, and it is effective to precompute...
Yiorgos Chrysanthou, Daniel Cohen-Or, Eyal Zadicar...