Sciweavers

1393 search results - page 190 / 279
» Home, work, (play)
Sort
View
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 10 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
ROBOCUP
1999
Springer
153views Robotics» more  ROBOCUP 1999»
15 years 10 months ago
ISocRob - Intelligent Society of Robots
Abstract. The SocRob project was born as a challenge for multidisciplinary research on broad and generic approaches for the design of a cooperative robot society, involving Control...
Rodrigo M. M. Ventura, Pedro Aparício, Carl...
MM
1994
ACM
116views Multimedia» more  MM 1994»
15 years 10 months ago
A Beat Tracking System for Acoustic Signals of Music
This paper presents a beat tracking system that processes acoustic signals of music and recognizes temporal positions of beats in real time. Musical beat tracking is needed by var...
Masataka Goto, Yoichi Muraoka
CIDM
2007
IEEE
15 years 10 months ago
An Efficient Distance Calculation Method for Uncertain Objects
Recently the academic communities have paid more attention to the queries and mining on uncertain data. In the tasks such as clustering or nearest-neighbor queries, expected distan...
Lurong Xiao, Edward Hung
CVPR
2009
IEEE
15 years 10 months ago
Efficiently training a better visual detector with sparse eigenvectors
Face detection plays an important role in many vision applications. Since Viola and Jones [1] proposed the first real-time AdaBoost based object detection system, much effort has ...
Sakrapee Paisitkriangkrai, Chunhua Shen, Jian Zhan...