4370 search results - page 621 / 874 » Algebra of Logic Programming |
166
click to vote
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
113
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Soft errors are an increasingly serious problem for logic circuits. To estimate the effects of soft errors on such circuits, we develop a general computational framework based on ...
125
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
114
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
We exploit the fact that qualitative Interval Algebra (IA) network problems are finite domain CSPs. In the first part of the paper, we show how to convert a qualitative IA network ...
132
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague ...