6020 search results - page 919 / 1204 » A New Approach to Model Counting |
176
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
Abstract. Many different index structures have been proposed for spatial databases to support efficient query processing. However, most of these index structures suffer from an exp...
155
click to vote
MOBISYS
2005
ACM
16 years 6 months ago
2005
ACM
The ability to walk up to any computer, personalize it, and use it as one's own has long been a goal of mobile computing research. We present SoulPad, a new approach based on...
144
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
It is well known that the use of a good Machine Transliteration system improves the retrieval performance of Cross-Language Information Retrieval (CLIR) systems when the query and ...
162
click to vote
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
We have developed a new statistical timing analysis approach that does not impose any assumptions on the nature of manufacturing variability and takes into account an arbitrary mo...
157
click to vote
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Thickness measurements of the cerebral cortex can aid diagnosis and provide valuable information about the temporal evolution of several diseases such as Alzheimer’s, H...