Sciweavers

613 search results - page 66 / 123
» Some Observations on Holographic Algorithms
Sort
View
IROS
2006
IEEE
193views Robotics» more  IROS 2006»
14 years 1 months ago
Adaptive Human-Robot Interaction System using Interactive EC
— We created a human-robot communication system that can adapt to user preferences that can easily change through communication. Even if any learning algorithms are used, evaluat...
Yuki Suga, Chihiro Endo, Daizo Kobayashi, T. Matsu...
ACCV
2006
Springer
14 years 1 months ago
Attractor-Guided Particle Filtering for Lip Contour Tracking
Abstract. We present a lip contour tracking algorithm using attractorguided particle filtering. Usually it is difficult to robustly track the lip contour because the lip contour i...
Yong-Dian Jian, Wen-Yan Chang, Chu-Song Chen
ATVA
2005
Springer
111views Hardware» more  ATVA 2005»
14 years 1 months ago
Model Checking Prioritized Timed Automata
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Y...
CAV
2004
Springer
202views Hardware» more  CAV 2004»
14 years 1 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
GECCO
2004
Springer
132views Optimization» more  GECCO 2004»
14 years 1 months ago
Optimizing Topology and Parameters of Gene Regulatory Network Models from Time-Series Experiments
Abstract. In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. Different approaches to infer the dependencies of gene r...
Christian Spieth, Felix Streichert, Nora Speer, An...