10891 search results - page 1835 / 2179 » Combining Model Reductions |
123
click to vote
ISM
2008
IEEE
15 years 9 months ago
2008
IEEE
Cover song detection is becoming a very hot research topic when plentiful personal music recordings or performance are released on the Internet. A nice cover song recognizer helps...
159
click to vote
ISM
2008
IEEE
2008
IEEE
A Framework for Collaborative Real-Time 3D Teleimmersion in a Geographically Distributed Environment
15 years 9 months ago
In this paper, we present a framework for immersive 3D video conferencing and geographically distributed collaboration. Our multi-camera system performs a full-body 3D reconstruct...
140
Voted
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
120
Voted
RTSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
118
click to vote
SEMCO
2008
IEEE
15 years 9 months ago
2008
IEEE
Semantic Web service descriptions are typically multiparameter constructs. Discovering semantically relevant services, given a desirable service description, is typically addresse...