2673 search results - page 453 / 535 » Guided Static Analysis |
198
click to vote
AVBPA
2005
Springer
15 years 11 months ago
2005
Springer
With the recent emphasis on homeland security, there is an increased interest in accurate and non-invasive techniques for face recognition. Most of the current techniques perform a...
174
click to vote
CF
2004
ACM
15 years 11 months ago
2004
ACM
Aimed to provide computation ubiquitously, pervasive computing is perceived as a means to provide a user the transparency of anywhere, anyplace, anytime computing. Pervasive compu...
160
click to vote
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
174
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
A data warehouse (DW) provides an information for analytical processing, decision making, and data mining tools. On the one hand, the structure and content of a data warehouse ref...
152
click to vote
ADAEUROPE
2004
Springer
15 years 11 months ago
2004
Springer
The tree width of a graph G measures how close G is to being a tree or a series-parallel graph. Many well-known problems that are otherwise NP-complete can be solved efficiently if...