Sciweavers

1671 search results - page 229 / 335
» Semantics Through Pictures
Sort
View
ADC
2003
Springer
135views Database» more  ADC 2003»
14 years 1 months ago
A Petri Net-based Model for Web Service Composition
The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of information. Many organizations are putting their cor...
Rachid Hamadi, Boualem Benatallah
CAEPIA
2003
Springer
14 years 1 months ago
Towards Biresiduated Multi-adjoint Logic Programming
Abstract. Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in th...
Jesús Medina, Manuel Ojeda-Aciego, Agust&ia...
DEXA
2003
Springer
117views Database» more  DEXA 2003»
14 years 1 months ago
A Toolkit and Methodology to Support the Collaborative Development and Reuse of Engineering Models
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...
Zdenek Zdráhal, Paul Mulholland, Michael Va...
GW
2003
Springer
137views Biometrics» more  GW 2003»
14 years 1 months ago
Gestural Mind Markers in ECAs
We aim at creating Embodied Conversational Agents (ECAs) able to communicate multimodally with a user or with other ECAs. In this paper we focus on the Gestural Mind Markers, that ...
Isabella Poggi, Catherine Pelachaud, Emanuela Magn...
ICANN
2003
Springer
14 years 1 months ago
Learning Rule Representations from Boolean Data
We discuss a Probably Approximate Correct (PAC) learning paradigm for Boolean formulas, which we call PAC meditation, where the class of formulas to be learnt is not known in advan...
Bruno Apolloni, Andrea Brega, Dario Malchiodi, Gio...