20197 search results - page 438 / 4040 » Comparing Computational Power |
171
Voted
CONSTRAINTS
1999
15 years 6 months ago
1999
Interval constraints can be used to solve problems in numerical analysis. In this paper we show that one can improve the performance of such an interval constraint program by the ...
192
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
232
click to vote
ADAEUROPE
2007
Springer
16 years 1 months ago
2007
Springer
The testing of programs in wireless sensor networks (WSN) is an important means to assure quality but is a challenging process. As pervasive computing has been identified as a not...
176
click to vote
DCG
1998
15 years 6 months ago
1998
The assumption of real-number arithmetic, which is at the basis of conventional geometric algorithms, has been seriously challenged in recent years, since digital computers do not...
333
click to vote
ALT
2011
Springer
14 years 6 months ago
2011
Springer
Deep architectures are families of functions corresponding to deep circuits. Deep Learning algorithms are based on parametrizing such circuits and tuning their parameters so as to ...