Sciweavers

3731 search results - page 312 / 747
» Reduct Generation in Information Systems
Sort
View
CSCLP
2004
Springer
16 years 25 days ago
Automatically Exploiting Symmetries in Constraint Programming
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
Arathi Ramani, Igor L. Markov
DATE
2003
IEEE
103views Hardware» more  DATE 2003»
16 years 22 days ago
Reduced Delay Uncertainty in High Performance Clock Distribution Networks
The design of clock distribution networks in synchronous digital systems presents enormous challenges. Controlling the clock signal delay in the presence of various noise sources,...
Dimitrios Velenis, Marios C. Papaefthymiou, Eby G....
ICRA
2000
IEEE
236views Robotics» more  ICRA 2000»
15 years 11 months ago
A General Learning Approach to Multisensor Based Control using Statistic Indices
We propose a concept for integrating multiple sensors in real-time robot control. To increase the controller robustness under diverse uncertainties, the robot systematically gener...
Yorck von Collani, Markus Ferch, Jianwei Zhang, Al...
ICCAD
1997
IEEE
97views Hardware» more  ICCAD 1997»
15 years 11 months ago
Low power logic synthesis for XOR based circuits
An abundance of research e orts in low power logic synthesis have so far been focused on and or or nand nor based logic. A typical approach is to rst generate an initial multi-lev...
Unni Narayanan, C. L. Liu
ASWEC
2007
IEEE
15 years 11 months ago
Managing Conflicts When Using Combination Strategies to Test Software
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
Mats Grindal, Jeff Offutt, Jonas Mellin