11160 search results - page 2082 / 2232 » Incompleteness in a General Setting |
155
click to vote
SIGMOD
1996
ACM
15 years 8 months ago
1996
ACM
While much recent research has focussed on extending databases beyond the traditional relational model, relatively little has been done to develop database tools for querying data...
152
Voted
ICS
2010
Tsinghua U.
15 years 8 months ago
2010
Tsinghua U.
: Perhaps the two most significant theoretical questions about the programming of self-assembling agents are: (1) necessary and sufficient conditions to produce a unique terminal a...
163
click to vote
COCO
1994
Springer
15 years 8 months ago
1994
Springer
A probabilistically checkable debate system (PCDS) for a language L consists of a probabilisticpolynomial-time veri er V and a debate between Player 1, who claims that the input x ...
154
Voted
PLDI
1994
ACM
15 years 8 months ago
1994
ACM
As microprocessor speeds increase, memory bandwidth is increasing y the performance bottleneck for microprocessors. This has occurred because innovation and technological improvem...
192
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...