Sciweavers

2049 search results - page 123 / 410
» Normalization and Partial Evaluation
Sort
View
VLDB
2004
ACM
96views Database» more  VLDB 2004»
14 years 10 months ago
Multidimensional data modeling for location-based services
With the recent and continuing advances in areas such as wireless communications and positioning technologies, mobile, locationbased services are becoming possible. Such services ...
Christian S. Jensen, Augustas Kligys, Torben Bach ...
DEXA
2004
Springer
87views Database» more  DEXA 2004»
14 years 1 months ago
Ensuring Task Dependencies During Workflow Recovery
Abstract. Workflow management systems (WFMS) coordinate execution of multiple tasks performed by different entities within an organization. In order to coordinate the execution of ...
Indrakshi Ray, Tai Xin, Yajie Zhu
VC
2010
143views more  VC 2010»
13 years 4 months ago
A PDE method for patchwise approximation of large polygon meshes
Abstract Three-dimensional (3D) representations of complex geometric shapes, especially when they are reconstructed from magnetic resonance imaging (MRI) and computed tomography (C...
Yun Sheng, Alexei Sourin, Gabriela González...
ICFP
1999
ACM
14 years 2 months ago
Specialization of Inductively Sequential Functional Logic Programs
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
María Alpuente, Michael Hanus, Salvador Luc...
DAGSTUHL
1996
13 years 11 months ago
A Self-Applicable Supercompiler
A supercompiler is a program which can performa deep transformation of programsusing a principle which is similarto partial evaluation, and can be referred to as metacomputation. ...
Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin ...