3172 search results - page 95 / 635 » Combining Specification Techniques for Processes, Data and T... |
168
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Today it is common to apply multiple potentially conflicting data sources to a given phylogenetic problem. At the same time, several different inference techniques are...
182
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Self-timed circuits present an attractive solution to the problem of process variation. However, implementing selftimed combinational logic can be complex and expensive. This pape...
247
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Database outsourcing requires that a query server constructs a proof of result correctness, which can be verified by the client using the data owner's signature. Previous aut...
161
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
This paper presents a method to generate dynamic shading of image-based objects without geometric models. Since conventional rendering techniques cannot be used to render the shad...
173
click to vote
APVIS
2009
15 years 7 months ago
2009
Current visualization systems are typically based on the concept of interactive post-processing. This decoupling of data visualization from the process of data generation offers a...