3902 search results - page 271 / 781 » Hardware Synthesis from C C Models |
171
click to vote
CASCON
2004
15 years 8 months ago
2004
Due in part to the large volume of data available today, but more importantly to privacy concerns, data are often distributed across institutional, geographical and organizational...
145
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Although protein-protein interaction networks determined with high-throughput methods are incomplete, they are commonly used to infer the topology of the complete inte...
200
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Most face recognition systems only work well under quite constrained environments. In particular, the illumination conditions, facial expressions and head pose must be tightly con...
183
click to vote
ENTCS
2006
15 years 6 months ago
2006
An unresolved issue in SWRL (the Semantic Web Rule Language) is whether the intended semantics of its RDF representation can be described as an extension of the W3C RDF semantics....
167
click to vote
FSEN
2007
Springer
16 years 24 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...