1712 search results - page 247 / 343 » A Computational Approach to Binding Theory |
186
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
182
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
174
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
We revisit one of the most fundamental problems in multimedia that is receiving enormous attention from researchers without making much progress in solving it: the problem of brid...
204
click to vote
SCAI
1993
15 years 7 months ago
1993
Among the most important challenges for contemporary AI research are the development of methods for improved robustness, adaptability, and overall interactiveness of systems. Inter...
215
click to vote
SIGIR
2012
ACM
13 years 8 months ago
2012
ACM
The intent-oriented search diversification methods developed in the field so far tend to build on generative views of the retrieval system to be diversified. Core algorithm compon...