5401 search results - page 250 / 1081 » Using Versions in GIS |
131
click to vote
CE
2005
15 years 5 months ago
2005
The purpose of this paper is to show how data mining may offer promise as a strategy for discovering and building alternative representations for the data underlying asynchronous ...
221
Voted
LISP
2002
15 years 4 months ago
2002
Abstract. Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler that uses recursive functions to represent ...
149
click to vote
TVLSI
1998
15 years 4 months ago
1998
— Excessive instantaneous power consumption may reduce the reliability and performance of VLSI chips. Hence, to synthesize circuits with high reliability, it is imperative to efï...
156
click to vote
PROCEDIA
2010
15 years 3 months ago
2010
The use of tuned collective’s module of Open MPI to improve a parallelization efficiency of parallel batch pattern back propagation training algorithm of a multilayer perceptron...
194
click to vote
NFM
2011
15 years 1 days ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...