Sciweavers

19367 search results - page 3636 / 3874
» Fine-Grain Process Modelling
Sort
View
151
Voted
EON
2008
15 years 6 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
124
Voted
ICAI
2008
15 years 6 months ago
Nonrestrictive Concept-Acquisition by Representational Redescription
coarse procedures or very abstract frames from the point of view of algorithm, because some crucial issues like the representation, evolution, storage, and learning process of conc...
Hui Wei, Yan Chen
IMAMS
2007
245views Mathematics» more  IMAMS 2007»
15 years 6 months ago
Discrete Surface Ricci Flow: Theory and Applications
Conformal geometry is in the core of pure mathematics. Conformal structure is more flexible than Riemaniann metric but more rigid than topology. Conformal geometric methods have p...
Miao Jin, Junho Kim, Xianfeng David Gu
IWIPS
2007
113views Business» more  IWIPS 2007»
15 years 6 months ago
Cross Cultural Study: Perception, Usage, and Adoption of Technology
The primary goal of the project was to understand the cultural similarities and differences in perception, adoption and usage of technology across three cultures (US, India and Ch...
Apala Lahiri Chavan, Beena Prabhu, Warren Greving
163
Voted
CLIMA
2004
15 years 6 months ago
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...
Andrea Bracciali, Paolo Torroni
« Prev « First page 3636 / 3874 Last » Next »