Sciweavers

780 search results - page 107 / 156
» Compositional Quantitative Reasoning
Sort
View
AAAI
1997
13 years 11 months ago
Building Concept Representations from Reusable Components
Our goal is to build knowledge-based systems capable of answering a wide variety of questions, including questions that are unanticipated when the knowledge base is built. For sys...
Peter Clark, Bruce W. Porter
AAAI
1994
13 years 11 months ago
Automated Modeling for Answering Prediction Questions: Selecting the Time Scale and System Boundary
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...
Jeff Rickel, Bruce W. Porter
CORR
2010
Springer
77views Education» more  CORR 2010»
13 years 10 months ago
Sound Bisimulations for Higher-Order Distributed Process Calculus
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
Adrien Piérard, Eijiro Sumii
CORR
2010
Springer
90views Education» more  CORR 2010»
13 years 7 months ago
Performance evaluation of parallel manipulators for milling application
This paper focuses on the performance evaluation of the parallel manipulators for milling of composite materials. For this application the most significant performance measurement...
Anatoly Pashkevich, Alexandr Klimchik, Séba...
ICEXSS
2010
13 years 4 months ago
Systemic Service Design: Aligning Value and Implementation
The promise of service orientation is that it enables an organization to prosper by delivering continuous value to customers. This prosperity is of strategic value to the organizat...
Arash Golnam, Gil Regev, Julien Ramboz, Philippe L...