849 search results - page 73 / 170 » On the Complexity of the Whitehead Minimization Problem |
ICSE
2003
IEEE-ACM
14 years 1 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
DAC
1997
ACM
14 years 2 days ago
1997
ACM
We present a system-level approach for power optimization under a set of user specified costs and timing constraints of hard real-time designs. The approach optimizes all three d...
VLDB
1991
ACM
13 years 11 months ago
1991
ACM
The development of a distributed database systemrequires effective solutions to many complex and interrelated design problems. The cost dependenciesbetween query optimization and ...
AAAI
2007
13 years 10 months ago
2007
Reinforcement learning (RL) methods have become popular in recent years because of their ability to solve complex tasks with minimal feedback. Both genetic algorithms (GAs) and te...
CCCG
2007
13 years 9 months ago
2007
Here we propose an efficient algorithm for computing the smallest enclosing circle whose center is constrained to lie on a query line segment. Our algorithm preprocesses a given s...