6020 search results - page 1144 / 1204 » A New Approach to Model Counting |
151
click to vote
AAAI
2007
15 years 6 months ago
2007
Accurately locating users in a wireless environment is an important task for many pervasive computing and AI applications, such as activity recognition. In a WiFi environment, a m...
142
click to vote
DOCENG
2005
ACM
15 years 6 months ago
2005
ACM
This paper presents a new approach to text processing, based on textemes. These are atomic text units generalising the concepts of character and glyph by merging them in a common ...
129
click to vote
DIMEA
2007
15 years 6 months ago
2007
Businesses today are requiring higher levels of creativity and innovation in the face of rapid change, fierce competition and increasingly complex markets. Nowhere is the more obv...
141
click to vote
ISLPED
2007
ACM
15 years 5 months ago
2007
ACM
RTL power macromodeling is a mature research topic with a variety of equation and table-based approaches. Despite its maturity, macromodeling is not yet widely accepted as an indu...
171
click to vote
NIPS
2007
15 years 5 months ago
2007
Large repositories of source code create new challenges and opportunities for statistical machine learning. Here we first develop Sourcerer, an infrastructure for the automated c...