5525 search results - page 967 / 1105 » Verification of Model Transformations |
132
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: We present 2DDB, a bioinformatics solution for storage, integration and analysis of quantitative proteomics data. As the data complexity and the rate with which it is ...
180
click to vote
TCSV
2008
15 years 3 months ago
2008
Since variable block-size motion compensation (MC) and rate-distortion optimization (RDO) techniques are adopted in H.264/MPEG-4 AVC, modes and motion vectors (MVs) in input stream...
136
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: To standardize gene product descriptions, a formal vocabulary defined as the Gene Ontology (GO) has been developed. GO terms have been categorized into biological proc...
117
click to vote
TVLSI
2008
15 years 3 months ago
2008
Abstract--The quantum-dot cellular automata (QCA) model offers a novel nano-domain computing architecture by mapping the intended logic onto the lowest energy configuration of a co...
140
click to vote
VC
1998
15 years 2 months ago
1998
The vertex representation, a new data structure for representing and manipulating orthogonal objects, is presented. Both interiors and boundaries of regions are represented implic...