Sciweavers

1522 search results - page 122 / 305
» On the Complexity of Several Haplotyping Problems
Sort
View
DATE
1999
IEEE
135views Hardware» more  DATE 1999»
14 years 1 months ago
Combinational Equivalence Checking Using Satisfiability and Recursive Learning
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
João P. Marques Silva, Thomas Glass
IPPS
1994
IEEE
14 years 1 months ago
Efficient Matrix Chain Ordering in Polylog Time
The matrix chain ordering problem is to find the cheapest way to multiply a chain of n matrices, where the matrices are pairwise compatible but of varying dimensions. Here we give ...
Phillip G. Bradford, Gregory J. E. Rawlins, Gregor...
CP
2006
Springer
14 years 26 days ago
Interactive Distributed Configuration
Interactive configuration is the concept of assisting a user in selecting values for parameters that respect given constraints. It was originally inspired by the product configurat...
Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henne...
AAAI
2006
13 years 10 months ago
Simultaneous Team Assignment and Behavior Recognition from Spatio-Temporal Agent Traces
This paper addresses the problem of activity recognition for physically-embodied agent teams. We define team activity recognition as the process of identifying team behaviors from...
Gita Sukthankar, Katia P. Sycara
ALGORITHMICA
2006
138views more  ALGORITHMICA 2006»
13 years 9 months ago
Planar Graph Coloring Avoiding Monochromatic Subgraphs: Trees and Paths Make It Difficult
We consider the problem of coloring a planar graph with the minimum number of colors so that each color class avoids one or more forbidden graphs as subgraphs. We perform a detail...
Hajo Broersma, Fedor V. Fomin, Jan Kratochví...