Sciweavers

39362 search results - page 7418 / 7873
» Global Computing Systems
Sort
View
CAISE
2010
Springer
15 years 3 months ago
Towards Automated Inconsistency Handling in Design Models
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
Marcos Aurélio Almeida da Silva, Alix Mouge...
AI
2011
Springer
15 years 2 months ago
A logic for reasoning about counterfactual emotions
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example ...
Emiliano Lorini, François Schwarzentruber
ADC
2010
Springer
210views Database» more  ADC 2010»
15 years 2 months ago
Towards unifying advances in twig join algorithms
Twig joins are key building blocks in current XML indexing systems, and numerous algorithms and useful data structures have been introduced. We give a structured, qualitative anal...
Nils Grimsmo, Truls Amundsen Bjørklund
BICA
2010
15 years 1 months ago
Explanatory Aspirations and the Scandal of Cognitive Neuroscience
In this position paper we argue that BICA must simultaneously be compatible with the explanation of human cognition and support the human design of artificial cognitive systems. Mo...
Ross Gayler, Simon D. Levy, Rens Bod
CORR
2011
Springer
210views Education» more  CORR 2011»
15 years 1 months ago
Online Learning of Rested and Restless Bandits
In this paper we study the online learning problem involving rested and restless multiarmed bandits with multiple plays. The system consists of a single player/user and a set of K...
Cem Tekin, Mingyan Liu
« Prev « First page 7418 / 7873 Last » Next »