852 search results - page 102 / 171 » Refactoring module structure |
103
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Particle Image Velocimetry (PIV) is a method of imaging and analysing fields of flows. The PIV techniques compute and display all the motion vectors of the field in a resulting im...
111
Voted
JUCS
2006
15 years 2 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
104
click to vote
COGSCI
2004
15 years 2 months ago
2004
In order to understand ongoing activity, observers segment it into meaningful temporal parts. Segmentation can be based on bottom-up processing of distinctive sensory characterist...
112
click to vote
JMLR
2010
14 years 9 months ago
2010
Deep belief nets have been successful in modeling handwritten characters, but it has proved more difficult to apply them to real images. The problem lies in the restricted Boltzma...
137
click to vote
DAC
2002
ACM
16 years 3 months ago
2002
ACM
Previous work on DRAM power-mode management focused on hardware-based techniques and compiler-directed schemes to explicitly transition unused memory modules to low-power operatin...