7 search results - page 1 / 2 » Memory-Optimal Evaluation of Expression Trees Involving Larg... |
HIPC
1999
Springer
14 years 3 months ago
1999
Springer
The need to evaluate expression trees involving large objects arises in scientific computing applications such as electronic structure calculations. Often, the tree node objects a...
SIGMOD
2004
ACM
14 years 11 months ago
2004
ACM
XML is widely praised for its flexibility in allowing repeated and missing sub-elements. However, this flexibility makes it challenging to develop a bulk algebra, which typically ...
ACCV
1995
Springer
14 years 2 months ago
1995
Springer
—Many recognition procedures rely on the consistency of a subset of data features with a hypothesis as the sufficient evidence to the presence of the corresponding object. We ana...
STACS
1999
Springer
14 years 3 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
ANSOFT
2002
13 years 10 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...