Sciweavers

3134 search results - page 16 / 627
» Computing full disjunctions
Sort
View
AMAI
1999
Springer
14 years 11 months ago
STCSP - Structured Temporal Constraint satisfaction Problems
Temporal Constraint Satisfaction Problems (TCSP) is a well known approach for representing and processing temporal knowledge. Important properties of the knowledge can be inferred...
Mira Balaban, Tzachi Rosen
DAC
2010
ACM
15 years 3 months ago
Thermal monitoring of real processors: techniques for sensor allocation and full characterization
Abdullah Nazma Nowroz, Ryan Cochran, Sherief Reda