8512 search results - page 24 / 1703 » Computing Theory With Relevance |
STACS
2001
Springer
15 years 3 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
103
click to vote
DIGRA
2005
Springer
15 years 4 months ago
2005
Springer
The Game Ontology Project (GOP) is creating a framework for describing, analyzing and games, by defining a hierarchy of concepts abstracted from an analysis of many specific games...
ENTCS
2006
14 years 11 months ago
2006
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair a...
ICCV
2011
IEEE
13 years 11 months ago
2011
IEEE
It has been shown repeatedly that iterative relevance feedback is a very efficient solution for content-based image retrieval. However, no existing system scales gracefully to hu...
85
Voted
SIGCSE
2002
ACM
14 years 10 months ago
2002
ACM
Compiler Design courses are a common component of most modern Computer Science undergraduate curricula. At the same time, however, compiler design has become a highly specialized ...