915 search results - page 156 / 183 » Proof labeling schemes |
IBPRIA
2003
Springer
14 years 1 months ago
2003
Springer
The dimensionality of the input data often far exceeds their intrinsic dimensionality. As a result, it may be difficult to recognize multidimensional data, especially if the number...
ECWEB
2000
Springer
14 years 17 days ago
2000
Springer
PC franking systems allow customers to download postage value into their PCs and to print postage value onto envelopes or mailing labels by using regular desktop printers connected...
OOPSLA
1989
Springer
14 years 8 days ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
FOAL
2007
ACM
14 years 3 days ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
ADC
2008
Springer
13 years 10 months ago
2008
Springer
In order to find all occurrences of a tree/twig pattern in an XML database, a number of holistic twig join algorithms have been proposed. However, most of these algorithms focus o...