2152 search results - page 342 / 431 » An Abstract Account of Composition |
110
click to vote
ECML
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In this work we investigate several issues in order to improve the performance of probabilistic estimation trees (PETs). First, we derive a new probability smoothing that...
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
101
Voted
FPL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Hardware realization of kernel loops holds the promise of accelerating the overall application performance and is therefore an important part of the synthesis process. In...
123
Voted
HYBRID
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
126
click to vote
ICSOC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In this paper, we discuss on the extension of grid computing systems in mobile computing environments, where mobile devices can be effectively incorporated into the grid ...