Sciweavers

4872 search results - page 437 / 975
» CBR for Modeling Complex Systems
Sort
View
ICCV
2007
IEEE
16 years 8 months ago
A Biologically Inspired System for Action Recognition
We present a biologically-motivated system for the recognition of actions from video sequences. The approach builds on recent work on object recognition based on hierarchical feed...
Hueihan Jhuang, Thomas Serre, Lior Wolf, Tomaso Po...
202
Voted
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 7 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
190
Voted
MFCS
2009
Springer
16 years 1 months ago
Synthesis for Structure Rewriting Systems
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
Lukasz Kaiser
151
Voted
IROS
2006
IEEE
233views Robotics» more  IROS 2006»
16 years 27 days ago
Machine-mediated Motor Skill Training Method in Haptic-enabled Chinese Handwriting Simulation System
Training of motor skill through machine-mediated method is a promising way to improve complex dexterous manipulation skill. New method of fusion between human motor skill and machi...
Dangxiao Wang, Yuru Zhang, Chong Yao
186
Voted
INFOSCALE
2006
ACM
16 years 25 days ago
PENS: an algorithm for density-based clustering in peer-to-peer systems
Huge amounts of data are available in large-scale networks of autonomous data sources dispersed over a wide area. Data mining is an essential technology for obtaining hidden and v...
Mei Li, Guanling Lee, Wang-Chien Lee, Anand Sivasu...