Sciweavers

2142 search results - page 268 / 429
» Representing Time in Multimedia Systems
Sort
View
CDC
2009
IEEE
129views Control Systems» more  CDC 2009»
15 years 8 months ago
Improving the performance of active set based Model Predictive Controls by dataflow methods
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
Ruirui Gu, Shuvra S. Bhattacharyya, William S. Lev...
EWCBR
2006
Springer
15 years 8 months ago
Retrieving and Reusing Game Plays for Robot Soccer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
Raquel Ros, Manuela M. Veloso, Ramon López ...
DAC
1997
ACM
15 years 8 months ago
Formal Verification of a Superscalar Execution Unit
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
Kyle L. Nelson, Alok Jain, Randal E. Bryant
EDM
2010
165views Data Mining» more  EDM 2010»
15 years 6 months ago
Effort-based Tutoring: An Empirical Approach to Intelligent Tutoring
We describe pedagogical and student modeling based on past student interactions with a tutoring system. We model student effort with an integrated view of student behaviors (e.g. t...
Ivon Arroyo, Hasmik Meheranian, Beverly Park Woolf
BNCOD
2004
85views Database» more  BNCOD 2004»
15 years 6 months ago
Database Support for Path Query Functions
Extending relational database functionality to include data mining primitives is one step towards the greater goal of more closely integrated database and mining systems. This pape...
Rachel Hamill, Nigel J. Martin