Sciweavers

2152 search results - page 245 / 431
» An Abstract Account of Composition
Sort
View
DEXA
2006
Springer
171views Database» more  DEXA 2006»
15 years 8 months ago
Automating the Choice of Decision Support System Architecture
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
Estella Annoni, Franck Ravat, Olivier Teste, Gille...
CONCUR
2008
Springer
15 years 8 months ago
Spatial and Behavioral Types in the Pi-Calculus
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
Lucia Acciai, Michele Boreale
DIAGRAMS
2008
Springer
15 years 8 months ago
What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism?
Abstract. In this paper, we develop a cognitive account of autism centered around a reliance on pictorial representations. This Thinking in Pictures hypothesis shows significant po...
Maithilee Kunda, Ashok K. Goel
ECAI
2008
Springer
15 years 8 months ago
Focused Ensemble Selection: A Diversity-Based Method for Greedy Ensemble Selection
Abstract. Ensemble selection deals with the reduction of an ensemble of predictive models in order to improve its efficiency and predictive performance. A number of ensemble select...
Ioannis Partalas, Grigorios Tsoumakas, Ioannis P. ...
FC
2008
Springer
133views Cryptology» more  FC 2008»
15 years 8 months ago
A Proof of Concept Attack against Norwegian Internet Banking Systems
Abstract. The banking industry in Norway has developed a new security infrastructure for conducting commerce on the Internet. The initiative, called BankID, aims to become a nation...
Yngve Espelid, Lars-Helge Netland, André N....