1411 search results - page 211 / 283 » Interactive Coding for Interactive Proofs |
144
Voted
IPPS
2003
IEEE
15 years 7 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...
138
click to vote
CODES
2007
IEEE
15 years 6 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...
132
Voted
CSREAESA
2008
15 years 4 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 ...
127
Voted
BMCBI
2010
15 years 2 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...
136
Voted
ICIP
2007
IEEE
16 years 4 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...