4940 search results - page 71 / 988 » On the Complexity of Universal Programs |
170
click to vote
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
—Multi-core technology is becoming the mainstream of processor architecture. It is a great challenge for universities to offer students new theories because of the continuous cha...
122
Voted
ICSE
1992
IEEE-ACM
15 years 8 months ago
1992
IEEE-ACM
This paper describes a language-independent program representation--the program dependence graph--and discusses how program dependence graphs, together with operations such as pro...
117
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
We introduce the interaction library Squidy, which eases the design of natural user interfaces by unifying relevant frameworks and toolkits in a common library. Squidy provides a ...
119
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We introduce S-DUDE, a new algorithm for denoising Discrete Memoryless Channel (DMC)-corrupted data. The algorithm, which generalizes the recently introduced DUDE (Discrete Univer...
171
click to vote
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...