1565 search results - page 149 / 313 » An unlikely result |
80
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
MMM
2007
Springer
15 years 7 months ago
2007
Springer
The aim of this work is to devise an effective method for static summarization of home video sequences. Based on the premise that the user watching a summary is interested in peop...
ROMAN
2007
IEEE
15 years 7 months ago
2007
IEEE
— The paper presents an approach to intelligent, interactive people following for autonomous robots. The approach combines robust methods for simultaneous localization and mappin...
107
click to vote
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
—In Service Oriented Architecture (SOA), service brokers could find many service providers which offer same function with different quality of service (QoS). Under this condition...
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— Current OFDM systems assume the channel is not time varying within one OFDM frame, and use channel estimates obtained from preamble or pilots for data symbols within the same f...