Sciweavers

649 search results - page 71 / 130
» An Improved Construction of Progression-Free Sets
Sort
View
ET
2002
90views more  ET 2002»
15 years 10 days ago
Test Wrapper and Test Access Mechanism Co-Optimization for System-on-Chip
Test access mechanisms (TAMs) and test wrappers are integral parts of a system-on-chip (SOC) test architecture. Prior research has concentrated on only one aspect of the TAM/wrappe...
Vikram Iyengar, Krishnendu Chakrabarty, Erik Jan M...
JAR
2000
97views more  JAR 2000»
15 years 10 days ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
LOBJET
2000
140views more  LOBJET 2000»
15 years 9 days ago
Early Measures for UML Class Diagrams
:Building software models before implementing them has become widely accepted in the software industry. Object models, graphically represented by class diagrams, lay the foundation...
Marcela Genero, Mario Piattini, Coral Calero
AI
1998
Springer
15 years 7 days ago
A Complete Anytime Algorithm for Number Partitioning
Given a set of numbers, the two-way partitioning problem is to divide them into two subsets, so that the sum of the numbers in each subset are as nearly equal as possible. The pro...
Richard E. Korf
120
Voted
JCISE
2002
204views more  JCISE 2002»
15 years 6 days ago
Hierarchical Iso-Surface Extraction
The extraction and display of iso-surfaces is a standard method for the visualization of volume data sets. In this paper we present a novel approach that utilizes a hierarchy on b...
Ulf Labsik, Kai Hormann, Martin Meister, Günt...