1980 search results - page 292 / 396 » On the Associative Nijenhuis Relation |
143
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
136
click to vote
SDM
2011
SIAM
14 years 3 months ago
2011
SIAM
In many real world prediction problems the output is a structured object like a sequence or a tree or a graph. Such problems range from natural language processing to computationa...
131
Voted
SIGIR
2011
ACM
2011
ACM
Find it if you can: a game for modeling different types of web search success using interaction data
14 years 3 months ago
A better understanding of strategies and behavior of successful searchers is crucial for improving the experience of all searchers. However, research of search behavior has been s...
126
Voted
SIGMOD
2011
ACM
14 years 3 months ago
2011
ACM
We consider extending decision support facilities toward large sophisticated networks, upon which multidimensional attributes are associated with network entities, thereby forming...
118
Voted
COMPSAC
2011
IEEE
14 years 15 days ago
2011
IEEE
— This paper discusses ongoing research into the development of an original composition portfolio themed on the concept of palimpsests of time and place. The research involves th...