Sciweavers

663 search results - page 33 / 133
» E-connections of abstract description systems
Sort
View
DLOG
2007
13 years 10 months ago
DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
DIAGRAMS
2008
Springer
13 years 9 months ago
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
Sergio Gutiérrez Santos, Darren Pearce, Eir...
VMV
2008
131views Visualization» more  VMV 2008»
13 years 9 months ago
Towards unsupervised reconstruction of architectural models
Architectural blueprints offer a concise, clear and high-level description of the structure of a building. On the other hand, state of the art reconstruction pipelines can nowaday...
Michela Farenzena, Andrea Fusiello, Riccardo Ghera...
ECSA
2010
Springer
13 years 8 months ago
A Model for Dynamic Reconfiguration in Service-Oriented Architectures
Abstract. The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural chara...
José Luiz Fiadeiro, Antónia Lopes
KI
2010
Springer
13 years 6 months ago
Putting People's Common Sense into Knowledge Bases of Household Robots
Abstract. Unlike people, household robots cannot rely on commonsense knowledge when accomplishing everyday tasks. We believe that this is one of the reasons why they perform poorly...
Lars Kunze, Moritz Tenorth, Michael Beetz