Sciweavers

1666 search results - page 239 / 334
» Effective and efficient structured retrieval
Sort
View
TAINN
2005
Springer
14 years 3 months ago
An Evolutionary Local Search Algorithm for the Satisfiability Problem
Satisfiability problem is an NP-complete problem that finds itself or its variants in many combinatorial problems. There exist many complete algorithms that give successful results...
Levent Aksoy, Ece Olcay Gunes
CSCWD
2001
Springer
14 years 2 months ago
Product-driven Workflow Design
In manufacturing the interaction between the design of a product and the process to manufacture this product is studied in detail. Consider for example Material Requirements Plann...
Wil M. P. van der Aalst, Hajo A. Reijers, S. Limam
ICC
2000
IEEE
14 years 2 months ago
A Class of Block-Iterative Equalizers for Intersymbol Interference Channels
—A new and efficient class of nonlinear equalizers is developed for intersymbol interference (ISI) channels. These “iterated-decision equalizers” use an optimized multipass a...
Albert M. Chan, Gregory W. Wornell
ICRA
1998
IEEE
137views Robotics» more  ICRA 1998»
14 years 2 months ago
GRAMMPS: A Generalized Mission Planner for Multiple Mobile Robots in Unstructured Environments
For a system of cooperative mobile robots to be effective in real-world applications, it must be able to efficiently execute a wide class of complex tasks in potentially unknown a...
Barry Brumitt, Anthony Stentz
28
Voted
ASPDAC
2007
ACM
89views Hardware» more  ASPDAC 2007»
14 years 2 months ago
Trace Compaction using SAT-based Reachability Analysis
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
Sean Safarpour, Andreas G. Veneris, Hratch Mangass...