1411 search results - page 211 / 283 » Interactive Coding for Interactive Proofs |
107
click to vote
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
With the availability of large datasets in a variety of scientific and commercial domains, data mining has emerged as an important area within the last decade. Data mining techni...
101
click to vote
CODES
2007
IEEE
15 years 1 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
CSREAESA
2008
14 years 11 months ago
2008
To deal with the increasing complexity of embedded real-time systems the model-driven development approach has proven to be beneficial. The reduction of complexity achieved by the ...
BMCBI
2010
14 years 10 months ago
2010
Background: Codon substitution constitutes a fundamental process in molecular biology that has been studied extensively. However, prior studies rely on various assumptions, e.g. r...
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a novel client-driven multi-view video streaming system that allows a user watch 3-D video interactively with significantly reduced bandwidth requirements by transmitti...