Sciweavers

2880 search results - page 296 / 576
» context 2007
Sort
View
ATAL
2007
Springer
16 years 27 days ago
A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities
Conviviality is a mechanism to reinforce social cohesion and a tool to reduce mis-coordination between individuals, groups and institutions in web communities, for example in digit...
Patrice Caire
ATAL
2007
Springer
16 years 27 days ago
On the Multimodal Logic of Normative Systems
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
Pilar Dellunde
BIRTHDAY
2007
Springer
16 years 26 days ago
Orderings and Constraints: Theory and Practice of Proving Termination
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
Cristina Borralleras, Albert Rubio
CAISE
2007
Springer
16 years 26 days ago
Modeling Ubiquitous Business Process Driven Applications
This paper presents a model driven approach for the generation of business process driven web applications within the context of ubiquitous environments. For this reason, we have t...
Victoria Torres, Pau Giner, Vicente Pelechano
CCIA
2007
Springer
16 years 26 days ago
An Evaluation of an Object Recognition Schema Using Multiple Region Detectors
Abstract. Robust object recognition is one of the most challenging topics in computer vision. In the last years promising results have been obtained using local regions and descrip...
Meritxell Vinyals, Arnau Ramisa, Ricardo Toledo