7512 search results - page 369 / 1503 » Robust Computations with Dynamical Systems |
164
click to vote
PACT
2005
Springer
16 years 11 days ago
2005
Springer
The paper is dedicated to an open T-system (OpenTS) — a programming system that supports automatic parallelization of computations for high-performance and distributed applicatio...
197
click to vote
FUIN
2006
15 years 6 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
247
click to vote
KI
2010
Springer
15 years 1 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
181
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
WWW-based Internet information service has grown enormously during the last few years, and major performance bottlenecks have been caused by WWW server and Internet bandwidth inad...
201
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present a photometric stereo method for non-rigid objects of unknown and spatially varying materials. The prior art uses timemultiplexed illumination but assumes const...