Sciweavers

4987 search results - page 314 / 998
» Support Ordered Resolution
Sort
View
CORR
2009
Springer
80views Education» more  CORR 2009»
15 years 2 months ago
A Type System for a Stochastic CLS
claim that types are the right abstraction in order to represent the interaction between elements without specifying exactly the element positions. Our claim is supported through a...
Mariangiola Dezani-Ciancaglini, Paola Giannini, An...
144
Voted
FLAIRS
2009
15 years 2 months ago
A Textual Subgroup Mining Approach for Rapid ARD+ Model Capture
Manual knowledge acquisition is usually a costly and timeconsuming process. Automatic knowledge acquisition methods can then significantly support the knowledge engineer. In this ...
Martin Atzmueller, Grzegorz J. Nalepa
176
Voted
AGI
2011
14 years 8 months ago
Extending Cognitive Architectures with Semantic Resources
This paper presents an integrated modeling framework where the learning and knowledge retrieval mechanisms of the ACT-R cognitive architecture are combined with a semantic resource...
Alessandro Oltramari, Christian Lebiere
ISCA
2007
IEEE
174views Hardware» more  ISCA 2007»
15 years 11 months ago
An integrated hardware-software approach to flexible transactional memory
There has been considerable recent interest in the support of transactional memory (TM) in both hardware and software. We present an intermediate approach, in which hardware is us...
Arrvindh Shriraman, Michael F. Spear, Hemayet Hoss...
ECIR
2009
Springer
16 years 2 months ago
Synchronous Collaborative Information Retrieval: Techniques and Evaluation
Synchronous Collaborative Information Retrieval refers to systems that support multiple users searching together at the same time in order to satisfy a shared information need. To ...
Colum Foley, Alan F. Smeaton