3820 search results - page 576 / 764 » Bounded Model Debugging |
107
Voted
NIPS
2007
15 years 4 months ago
2007
Over the past few years, the notion of stability in data clustering has received growing attention as a cluster validation criterion in a sample-based framework. However, recent w...
135
Voted
ACL
2006
15 years 4 months ago
2006
Recent developments in statistical modeling of various linguistic phenomena have shown that additional features give consistent performance improvements. Quite often, improvements...
135
Voted
UAI
2004
15 years 4 months ago
2004
Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods ...
99
Voted
MS
2003
15 years 4 months ago
2003
Manufacturing test structures of microsensors and microactuators is very expensive in terms of time and materials. In a conventional design process, this limits the number of desi...
114
Voted
SGP
2003
15 years 4 months ago
2003
We present “contact levels of detail” (CLOD), a novel concept for multiresolution collision detection. Given a polyhedral model, our algorithm automatically builds a “dual h...