6020 search results - page 1156 / 1204 » A New Approach to Model Counting |
158
Voted
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
We present a novel boosting algorithm where temporal consistency is addressed in a short-term way. Although temporal correlation of observed data may be an important cue for classi...
138
click to vote
GMP
2006
IEEE
15 years 10 months ago
2006
IEEE
For molding and casting processes, geometries that have undercut-free parting directions (UFPDs) are preferred for manufacturing. Identifying all UFPDs for arbitrary geometries at ...
133
click to vote
IMC
2006
ACM
15 years 10 months ago
2006
ACM
Network managers are inevitably called upon to associate network traffic with particular applications. Indeed, this operation is critical for a wide range of management functions...
157
click to vote
MSWIM
2006
ACM
15 years 10 months ago
2006
ACM
As mobile devices, such as laptops, PDAs or mobile phones, are getting more and more ubiquitous and are able to communicate with each other via wireless technologies, the paradigm...
142
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...