1598 search results - page 256 / 320 » A Unified Computation Model for Functional and Logic Program... |
138
Voted
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
In this work we propose a scanline optimization procedure for computational stereo using a linear smoothness cost model performed by programmable graphics hardware. The main idea ...
147
click to vote
ISMB
2000
15 years 6 months ago
2000
We present a computational approach to predicting operons in the genomes of prokaryotic organisms. Our approach uses machine learning methods to induce predictive models for this ...
140
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
The paper introduces a new framework for feature learning in classification motivated by information theory. We first systematically study the information structure and present a n...
131
click to vote
ICCD
2006
IEEE
16 years 1 months ago
2006
IEEE
—This paper introduces the microarchitecture and logical implementation of SMT (Simultaneous Multithreading) improvement of Godson-2 processor which is a 64-bit, four-issue, out-...
114
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...