Sciweavers

3134 search results - page 16 / 627
» Computing full disjunctions
Sort
View
AMAI
1999
Springer
15 years 6 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 10 months ago
Thermal monitoring of real processors: techniques for sensor allocation and full characterization
Abdullah Nazma Nowroz, Ryan Cochran, Sherief Reda