Sciweavers

12084 search results - page 251 / 2417
» Effect Systems with Subtyping
Sort
View
AUTOMATICA
2005
136views more  AUTOMATICA 2005»
15 years 7 months ago
Conjugate Lyapunov functions for saturated linear systems
Based on a recent duality theory for linear differential inclusions (LDIs), the condition for stability of an LDI in terms of one Lyapunov function can be easily derived from that...
Tingshu Hu, Rafal Goebel, Andrew R. Teel, Zongli L...
ICPR
2008
IEEE
16 years 1 months ago
A real-time accompaniment system based on sung voice recognition
This paper presents a real-time accompaniment system for the sung voice. A sung voice recognition algorithm has been developed to extract the score info concerning with a performa...
Li Luo, Peng-Fei Lu, Zeng-Fu Wang
RSP
2007
IEEE
141views Control Systems» more  RSP 2007»
16 years 1 months ago
Rapid Prototyping of Intrusion Detection Systems
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
Fabrice Kordon, Jean-Baptiste Voron
AIED
2007
Springer
16 years 1 months ago
Fitting Spatial Ability into Intelligent Tutoring Systems Development
Building effective learning environments is an art that can only be perfected by a great deal of explorations involving the environments’ audience: the learners. This paper focus...
Nancy Milik, Antonija Mitrovic, Michael Grimley
ICB
2007
Springer
116views Biometrics» more  ICB 2007»
16 years 1 months ago
Template Co-update in Multimodal Biometric Systems
Performances of biometric recognition systems can degrade quickly when the input biometric traits exhibit substantial variations compared to the templates collected during the enro...
Fabio Roli, Luca Didaci, Gian Luca Marcialis