1562 search results - page 92 / 313 » Convenience Over Correctness |
ICCD
2007
IEEE
14 years 6 months ago
2007
IEEE
This paper proposes a new low power cache architecture that utilizes fault tolerance to allow aggressively reduced voltage levels. The fault tolerant overhead circuits consume lit...
TACAS
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
IRI
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper we describe an approach to build XML schemas in a collaborative way. The approach is based on computing intersection between sequences of type terms built over const...
AH
2008
Springer
14 years 3 months ago
2008
Springer
Open learner models (OLM) enable users to access their learner model to view information about their understanding. Opening the learner model to the learner may increase their perc...
SIPS
2007
IEEE
14 years 3 months ago
2007
IEEE
We propose a region-of-interest (ROI) coding framework based on leaky prediction (LP) for robustly transporting H.264 video over error-prone network. The LP-based ROI coding can r...