2356 search results - page 337 / 472 » Characterizations of postman sets |
139
click to vote
SIGIR
2003
ACM
15 years 10 months ago
2003
ACM
Collaborative filtering aims at learning predictive models of user preferences, interests or behavior from community data, i.e. a database of available user preferences. In this ...
145
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
120
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
This paper describes how multiagent systems can be used to achieve robust software, one of the major goals of software engineering. The paper first positions itself within the sof...
111
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we address the problem of automatically deriving vocabularies of motion modules from human motion data, taking advantage of the underlying spatio-temporal structure ...
137
click to vote
AWIC
2003
Springer
15 years 10 months ago
2003
Springer
The Internet makes it possible to share and manipulate a vast quantity of information efficiently and effectively, but the rapid and chaotic growth experienced by the Net has gener...