Sciweavers

1580 search results - page 101 / 316
» CoTeSys - Cognition for Technical Systems
Sort
View
AAAI
1993
15 years 7 months ago
The Paradoxical Success of Fuzzy Logic
Applications of fuzzy logic in heuristic control have been highly successful, but which aspects of fuzzy logic are essential to its practical usefulness? This paper shows that an ...
Charles Elkan
CORR
2010
Springer
77views Education» more  CORR 2010»
15 years 6 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
JAR
2007
80views more  JAR 2007»
15 years 6 months ago
Integrating Searching and Authoring in Mizar
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
Paul A. Cairns, Jeremy Gow
AEI
2004
74views more  AEI 2004»
15 years 6 months ago
Deployment of an ontological framework of functional design knowledge
Although the importance of knowledge sharing among designers has been widely recognized, knowledge about functionality in the conceptual design phase is hard to capture and is oft...
Yoshinobu Kitamura, Masakazu Kashiwase, Masayoshi ...
ICWS
2009
IEEE
15 years 4 months ago
DIALOG: Distributed Auditing Logs
Service-oriented systems facilitate business workflows to span multiple organizations (e.g. by means of Web services). As a side effect, data may be more easily transferred over o...
Christoph Ringelstein, Steffen Staab