Sciweavers

729 search results - page 133 / 146
» Solving subgraph isomorphism problems with constraint progra...
Sort
View
CPAIOR
2004
Springer
15 years 2 months ago
SIMPL: A System for Integrating Optimization Techniques
Abstract In recent years, the Constraint Programming (CP) and Operations Research (OR) communities have explored the advantages of combining CP and OR techniques to formulate and s...
Ionut D. Aron, John N. Hooker, Tallys H. Yunes
DFT
2003
IEEE
113views VLSI» more  DFT 2003»
15 years 2 months ago
Buffer and Controller Minimisation for Time-Constrained Testing of System-On-Chip
Test scheduling and Test Access Mechanism (TAM) design are two important tasks in the development of a System-on-Chip (SOC) test solution. Previous test scheduling techniques assu...
Anders Larsson, Erik Larsson, Petru Eles, Zebo Pen...
AIPS
2007
14 years 11 months ago
Bounding the Resource Availability of Activities with Linear Resource Impact
We introduce the Linear Resource Temporal Network (LRTN), which consists of activities that consume or produce a resource, subject to absolute and relative metric temporal constra...
Jeremy Frank, Paul H. Morris
AAAI
2000
14 years 10 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl
JSAC
2007
147views more  JSAC 2007»
14 years 9 months ago
Cross-Layer Optimization for Video Summary Transmission over Wireless Networks
Abstract— Video summarization has gained increased popularity in the emerging multimedia communication applications, however, very limited work has been conducted to address the ...
Dalei Wu, Song Ci, Haohong Wang