4345 search results - page 161 / 869 » Temporal Constraint Networks |
126
click to vote
ENTCS
2006
15 years 4 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
152
click to vote
AI
1998
Springer
15 years 4 months ago
1998
Springer
In formal approaches to commonsense reasoning about actions. the Ramification Problem denotes the problem of handling indirect effects which implicitly derive from so-called state...
241
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
In constraint satisfaction, basic inferences rely on some properties of constraint networks, called consistencies, that allow the identification of inconsistent instantiations (als...
146
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Discrete temporal transitions occur in a variety of domains, but this work is mainly motivated by applications in molecular biology: explaining and analyzing observed transcriptome...
206
click to vote
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
— Clock frequency and transistor density increases have resulted in elevated chip temperatures. In order to meet temperature constraints while still exploiting the performance op...