Sciweavers

1721 search results - page 65 / 345
» The fundamentals of hybrid systems modelers
Sort
View
HYBRID
2004
Springer
15 years 3 months ago
Full Paper Sheet Control Using Hybrid Automata
Some high speed color printers require that the sheets be accurately controlled in order to achieve a precise alignment of colors. To accomplish this goal a steerable nips mechanis...
Rene Sanchez, Roberto Horowitz, Masayoshi Tomizuka...
TCS
2002
14 years 9 months ago
Specification of real-time and hybrid systems in rewriting logic
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
Peter Csaba Ölveczky, José Meseguer
ICANN
2011
Springer
14 years 1 months ago
Person Tracking Based on a Hybrid Neural Probabilistic Model
This article presents a novel approach for a real-time person tracking system based on particle filters that use different visual streams. Due to the difficulty of detecting a pe...
Wenjie Yan, Cornelius Weber, Stefan Wermter
ECAI
2004
Springer
15 years 3 months ago
IPSS: A Hybrid Reasoner for Planning and Scheduling
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
María Dolores Rodríguez-Moreno, Ange...
UAI
2000
14 years 11 months ago
Collaborative Filtering by Personality Diagnosis: A Hybrid Memory and Model-Based Approach
The growth of Internet commerce has stimulated the use of collaborative filtering (CF) algorithms as recommender systems. Such systems leverage knowledge about the known preferenc...
David M. Pennock, Eric Horvitz, Steve Lawrence, C....