2702 search results - page 203 / 541 » Practically Applicable Formal Methods |
105
click to vote
FASE
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
CHI
2006
ACM
15 years 11 months ago
2006
ACM
Although they have potential, to date location-based information systems have not radically improved the way we interact with our surroundings. To study related issues, we develop...
CIKM
2007
Springer
15 years 5 months ago
2007
Springer
As one of the most effective query expansion approaches, local feedback is able to automatically discover new query terms and improve retrieval accuracy for different retrieval ...
KI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
101
click to vote
KDD
2000
ACM
15 years 2 months ago
2000
ACM
Many important problems involve clustering large datasets. Although naive implementations of clustering are computationally expensive, there are established efficient techniques f...