Sciweavers

8413 search results - page 414 / 1683
» Ordering Problem Subgoals
Sort
View
SETN
2004
Springer
16 years 1 days ago
Construction and Repair: A Hybrid Approach to Search in CSPs
Abstract. In order to obtain a solution to a constraint satisfaction problem, constructive methods iteratively extend a consistent partial assignment until all problem variables ar...
Konstantinos Chatzikokolakis, George Boukeas, Pana...
ASPDAC
2007
ACM
124views Hardware» more  ASPDAC 2007»
15 years 10 months ago
BddCut: Towards Scalable Symbolic Cut Enumeration
While the covering algorithm has been perfected recently by the iterative approaches, such as DAOmap and IMap, its application has been limited to technology mapping. The main fact...
Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown
CONTEXT
2007
Springer
15 years 10 months ago
A Personalized Retrieval Model based on Influence Diagrams
Abstract. A key challenge in information retrieval is the use of contextual evidence within ad-hoc retrieval. Our contribution is particularly based on the belief that contextual r...
Nesrine Zemirli, Lynda Tamine, Mohand Boughanem
GLOBECOM
2009
IEEE
15 years 10 months ago
Multi-Commodity Flow Traffic Engineering with Hybrid MPLS/OSPF Routing
A common objective of Internet traffic engineering is to minimize the maximal link utilization in a network in order to accommodate more traffic and reduce the chance of congestion...
Mingui Zhang, Bin Liu, Beichuan Zhang
DATE
2004
IEEE
135views Hardware» more  DATE 2004»
15 years 10 months ago
Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks
This report addresses the problem of scheduling for real-time systems that include both hard and soft tasks. In order to capture the relative importance of soft tasks and how the ...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...