8828 search results - page 1618 / 1766 » Formal methods in practice |
162
Voted
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
132
click to vote
HRI
2006
ACM
15 years 10 months ago
2006
ACM
We present a method of grounded word learning that is powerful enough to learn the meanings of first and second person pronouns. The model uses the understood words in an utteran...
133
click to vote
IMC
2006
ACM
15 years 10 months ago
2006
ACM
While the problem of analyzing network traffic at the granularity of individual connections has seen considerable previous work and tool development, understanding traffic at a ...
154
click to vote
MOBIWAC
2006
ACM
15 years 10 months ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...
148
click to vote
SIGIR
2006
ACM
15 years 10 months ago
2006
ACM
Memory-based methods for collaborative filtering predict new ratings by averaging (weighted) ratings between, respectively, pairs of similar users or items. In practice, a large ...