3912 search results - page 465 / 783 » Adaptive Navigation Support |
234
click to vote
ECTEL
2011
Springer
14 years 6 months ago
2011
Springer
This paper presents an adaptable system for detecting trends based on the micro-blogging service Twitter, and sets out to explore to what extent such a tool can support researchers...
147
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
* This paper presents a new, classification-based spatial error concealment algorithm for images. The proposed scheme takes advantage of two state-of-the-art concealment schemes an...
166
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
Many embedded systems are implemented with a set of alternative function variants to adapt the system to different applications or environments. This paper proposes a novel approa...
139
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
158
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Service dependency management in serviceoriented component platforms is described with languages, which cannot be easily adapted to domain-specific requirements. This p...