7988 search results - page 287 / 1598 » A Useful Undecidable Theory |
140
click to vote
WSC
2001
15 years 6 months ago
2001
It is readily apparent how important the Internet is to modern life. The exponential growth in its use requires good tools for analyzing congestion. Much has been written recently...
121
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
240
Voted
PODS
2010
ACM
15 years 10 months ago
2010
ACM
Cardinality estimation is the problem of estimating the number of tuples returned by a query; it is a fundamentally important task in data management, used in query optimization, ...
150
click to vote
TAGT
1994
Springer
15 years 9 months ago
1994
Springer
Graphs are a popular data structure, and graph-manipulation programs are common. Graph manipulations can be cleanly, compactly, and explicitly described using graph-rewriting notat...
165
click to vote
CVPR
2000
IEEE
16 years 7 months ago
2000
IEEE
Design and development of novel human-computer interfaces poses a challenging problem: actions and intentions of users have to be inferred from sequences of noisy and ambiguous mu...