13734 search results - page 147 / 2747 » Abstractions of data types |
138
click to vote
COSIT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Landmarks are crucial for human wayfinding. Their integration in wayfinding assistance systems is essential for generating cognitively ergonomic route directions. I prese...
144
click to vote
OPODIS
2008
15 years 5 months ago
2008
Abstract Nowadays, most of the energy-aware real-time scheduling algorithms belong to the DVFS (Dynamic Voltage and Frequency Scaling) framework. These DVFS algorithms are usually ...
138
click to vote
ADAEUROPE
2000
Springer
15 years 8 months ago
2000
Springer
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
130
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
lass Recognition using Images of Abstract Regions Yi Li, Jeff A. Bilmes, and Linda G. Shapiro Department of Computer Science and Engineering Department of Electrical Engineering Un...
115
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...