4166 search results - page 355 / 834 » Automating the constraining process |
125
click to vote
KR
1989
Springer
15 years 8 months ago
1989
Springer
In this paper I argue that we do not understand the process of default reasoning. A number of examples are given which serve to distinguish di erent default reasoning systems. It ...
144
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
132
click to vote
DSOM
2006
Springer
15 years 8 months ago
2006
Springer
As the complexity of large-scale enterprise applications increases, providing performance verification through staging becomes an important part of reducing business risks associat...
130
click to vote
ECTEL
2006
Springer
15 years 8 months ago
2006
Springer
With the rise of the Internet, virtual communities of practice are gaining importance as a mean of sharing and exchanging information. In such environments, information reuse is of...
179
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...