27756 search results - page 5095 / 5552 » Process Query Systems |
157
click to vote
IFL
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
141
Voted
IPSN
2003
Springer
15 years 10 months ago
2003
Springer
Over half of California’s water supply comes from high elevations in the snowmelt-dominated Sierra Nevada. Natural climate fluctuations, global warming, and the growing needs of ...
152
click to vote
IS4TH
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In this paper, we present a 3D reconstruction approach of a liver tumour model from a sequence of 2D MR parallel cross-sections, and the integration of this reconstructed...
130
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
113
Voted
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
- Electronic systems for safety-critical automotive applications must operate for many years in harsh environments. Reliability issues are worsening with device scaling down, while...