11716 search results - page 386 / 2344 » Computable symbolic dynamics |
141
click to vote
ICAS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present a prototype enterprise information run-time heavily inspired by the fundamental principles of autonomic computing. Through self-configuration, selfoptimi...
172
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
A fast online algorithm was developed for polygonal approximation of signals and curves with a minimum number of line segments for a given constraint on the standard deviation of ...
195
click to vote
CA
1998
IEEE
15 years 11 months ago
1998
IEEE
An algorithm for simulating simultaneous collision impulse with friction working at multiple collision points between three dimensional rigid bodies is described. We also present ...
170
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
167
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
: FPGA-based acceleration of molecular dynamics (MD) has been the subject of several recent studies. Here we describe a new non-bonded force computation pipeline implemented on a 2...