3458 search results - page 414 / 692 » Abstracting Control |
127
click to vote
ARCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper proposes a new hardware-based energy management technique for future embedded multithreaded processors with integrated Earliest Deadline First (EDF) real-time ...
137
click to vote
DGCI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The purpose of this paper is to present a technique to create a global map of a robot’s surrounding by converting the raw data acquired from a scanning sensor to a comp...
106
click to vote
ER
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In an ongoing effort to better understand the process of creating conceptual models (in particular formal ones), we present a fundamental view of the process of modeling...
107
click to vote
EVOW
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a new technique for granular sampling using a pulsecoupled network of spiking artificial neurons to generate grain events. The system plays randomly selected s...
137
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...