9405 search results - page 1325 / 1881 » Computing a Model of Set Theory |
194
click to vote
WIRI
2005
IEEE
16 years 19 days ago
2005
IEEE
Recent research in mining user access patterns for predicting Web page requests focuses only on consecutive sequential Web page accesses, i.e., pages which are accessed by followi...
216
click to vote
PASTE
2005
ACM
16 years 19 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
181
click to vote
EUROCAST
2005
Springer
16 years 18 days ago
2005
Springer
abstract NP-hard optimization problem, in a general sense. From the observation that, intuitively, there are many connections among categorical concepts and structural complexity n...
177
click to vote
CIKM
2004
Springer
16 years 14 days ago
2004
Springer
Our work is motivated by the problem of ranking hyperlinked documents for a given query. Given an arbitrary directed graph with edge and node labels, we present a new flow-based ...
206
click to vote
IUI
2003
ACM
16 years 9 days ago
2003
ACM
How do we know if we can afford a particular purchase? We can find out what the payments might be and check our balances on various accounts, but does this answer the question? Wh...