8099 search results - page 1368 / 1620 » Higher-Order Task Models |
128
click to vote
EXPDB
2006
ACM
15 years 10 months ago
2006
ACM
With the growing popularity of information retrieval (IR) in distributed systems and in particular P2P Web search, a huge number of protocols and prototypes have been introduced i...
140
click to vote
INFOSCALE
2006
ACM
15 years 10 months ago
2006
ACM
Huge amounts of data are available in large-scale networks of autonomous data sources dispersed over a wide area. Data mining is an essential technology for obtaining hidden and v...
109
Voted
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
222
Voted
IUI
2006
ACM
15 years 10 months ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
156
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
Precise automated video search is gaining in importance as the amount of multimedia information is increasing at exponential rates. One of the drawbacks that make video retrieval ...