1738 search results - page 145 / 348 » Local Consistency and SAT-Solvers |
BIBM
2007
IEEE
14 years 4 months ago
2007
IEEE
We analyzed the structural properties and the local surface environment of surface amino acid residues of proteins using a large, non-redundant dataset of 2383 protein chains in d...
ARC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The novel design of high-speed and low-energy FPGA routing architecture consisting of appropriate wire segments and multiple Switch Boxes is introduced. For that purpose,...
ICOIN
2007
Springer
14 years 4 months ago
2007
Springer
Construction of overlay networks without any consideration of real network topologies causes inefficient routing in peer-to-peer networks. This paper presents the design and evalua...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
The GCA (Global Cellular Automata) model consists of a collection of cells which change their states synchronously depending on the states of their neighbors like in the classical...
VISUALIZATION
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents a novel approach for surface reconstruction from point clouds. The proposed technique is general in the sense that it naturally handles both manifold and non-m...