2673 search results - page 399 / 535 » Guided Static Analysis |
129
click to vote
EG
2010
15 years 1 months ago
2010
: The purpose of this paper is to identify internal factors within government that affect the adoption and use of government websites. A conceptual framework, based on a literature...
190
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
The ability to achieve one’s goals is a defining characteristic of intelligent behaviour. A great many existing theories, systems and research programmes address the problems a...
151
click to vote
ACCV
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Scene categorization is an important mechanism for providing high-level context which can guide methods for a more detailed analysis of scenes. State-of-the-art technique...
142
click to vote
ADC
2010
Springer
14 years 11 months ago
2010
Springer
Twig joins are key building blocks in current XML indexing systems, and numerous algorithms and useful data structures have been introduced. We give a structured, qualitative anal...
167
click to vote
SADM
2010
14 years 11 months ago
2010
This paper is concerned with classifying high dimensional data into one of two categories. In various settings, such as when dealing with fMRI and microarray data, the number of v...