3999 search results - page 164 / 800 » Design of Optical Access Systems using Computer Modeling |
150
click to vote
TOG
2008
15 years 5 months ago
2008
Traditional flat screen displays present 2D images. 3D and 4D displays have been proposed making use of lenslet arrays to shape a fixed outgoing light field for horizontal or bidi...
170
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: There is an increasing demand to assemble and align large-scale biological sequence data sets. The commonly used multiple sequence alignment programs are still limited...
169
Voted
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
170
Voted
CORR
2011
Springer
15 years 1 days ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
141
Voted
GI
2001
Springer
15 years 9 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...