2673 search results - page 453 / 535 » Guided Static Analysis |
161
click to vote
AVBPA
2005
Springer
15 years 9 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...
141
click to vote
CF
2004
ACM
15 years 9 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...
131
Voted
DOCENG
2004
ACM
15 years 9 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...
141
click to vote
SAC
2004
ACM
15 years 9 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...
125
click to vote
ADAEUROPE
2004
Springer
15 years 9 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...