Sciweavers

397 search results - page 9 / 80
» Comparing Two Grammar-Based Generation Algorithms: A Case St...
Sort
View
DAGSTUHL
2011
12 years 7 months ago
Comparative Visualization Using Cross-Mesh Field Evaluations and Derived Quantities
We present a data-level comparative visualization system that utilizes two key pieces of technology: (1) cross-mesh field evaluation – algorithms to evaluate a field from one ...
Hank Childs, Sean Ahern, Jeremy S. Meredith, Mark ...
ICRA
2010
IEEE
220views Robotics» more  ICRA 2010»
13 years 6 months ago
Autonomous Underwater Vehicle trajectory design coupled with predictive ocean models: A case study
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
Ryan N. Smith, Arvind Pereira, Yi Chao, Peggy Li, ...
IJCAI
1993
13 years 9 months ago
A New Algorithm for Incremental Prime Implicate Generation
Traditional algorithms for prime implicate generation [Quine, 1952; McCluskey, 1956; Tison, 1967; Kean and Tsiknis, 1990; de Kleer, 1992] require the input formulas to be first tr...
Teow-Hin Ngair
TCAD
2002
145views more  TCAD 2002»
13 years 7 months ago
Automatic generation of synthetic sequential benchmark circuits
The design of programmable logic architectures and supporting computer-aided design tools fundamentally requires both a good understanding of the combinatorial nature of netlist gr...
Michael D. Hutton, Jonathan Rose, Derek G. Corneil
IMR
2000
Springer
13 years 11 months ago
An Angle-Based Approach to Two-Dimensional Mesh Smoothing
We present an effective and easy-to-implement angle-based smoothing scheme for triangular, quadrilateral and tri-quad mixed meshes. For each mesh node our algorithm compares all t...
Tian Zhou, Kenji Shimada