Sciweavers

8099 search results - page 317 / 1620
» Higher-Order Task Models
Sort
View
PARA
2004
Springer
16 years 15 hour ago
Parallel Algorithms for Balanced Truncation Model Reduction of Sparse Systems
We describe the parallelization of an efficient algorithm for balanced truncation that allows to reduce models with state-space dimension up to O(105 ). The major computational tas...
José M. Badía, Peter Benner, Rafael ...
CP
2007
Springer
15 years 10 months ago
Exploring Different Constraint-Based Modelings for Program Verification
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
Hélène Collavizza, Michel Rueher
ICWSM
2008
15 years 8 months ago
Document Representation and Query Expansion Models for Blog Recommendation
We explore several different document representation models and two query expansion models for the task of recommending blogs to a user in response to a query. Blog relevance rank...
Jaime Arguello, Jonathan L. Elsas, Jamie Callan, J...
ESANN
2004
15 years 8 months ago
HMM and IOHMM modeling of EEG rhythms for asynchronous BCI systems
We compare the use of two Markovian models, HMMs and IOHMMs, to discriminate between three mental tasks for brain computer interface systems using an asynchronous protocol. We show...
Silvia Chiappa, Nicolas Donckers, Samy Bengio, Fr&...
FLAIRS
2006
15 years 8 months ago
Refining Human Behavior Models in a Context-based Architecture
This paper describes an investigation into the refinement of context-based human behavior models through the use of experiential learning. Specifically, a tactical agent was endow...
David Aihe, Avelino J. Gonzalez