1115 search results - page 26 / 223 » An Abstract Look at Realizability |
STOC
2005
ACM
14 years 7 months ago
2005
ACM
Shortly after Steven Cook and Richard Karp showed the existence of many natural NP-complete languages, researchers started to realize the great importance of the P versus NP probl...
ICCD
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper looks at designing circuit elements that will be constructed with nanoscale magnets within the Quantum-dot Cellular Automata (QCA) computational paradigm. In magneti...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
“Don’t put all your eggs in one basket” is common wisdom with respect to financial portfolio theory. The configuration of customer portfolios with regard to appropriate risk...
IDEAS
2007
IEEE
14 years 1 months ago
2007
IEEE
Constraint-based database caching aims at correctly answering SQL query predicates from a local cache database by exploiting constraints that have previously been used in selectin...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents an automatic video editing system based on head tracking for archiving meetings. Systems that archive meetings are attracting considerable interest. Convention...