9067 search results - page 1752 / 1814 » Adaptive Model Checking |
242
click to vote
JCST
2010
15 years 24 days ago
2010
Abstract The significant overhead related to frequent location updates from moving objects often results in poor performance. As most of the location updates do not affect the quer...
143
click to vote
JMLR
2010
15 years 24 days ago
2010
Many structured information extraction tasks employ collective graphical models that capture interinstance associativity by coupling them with various clique potentials. We propos...
196
click to vote
JMLR
2010
15 years 24 days ago
2010
The success of simple methods for classification shows that is is often not necessary to model complex attribute interactions to obtain good classification accuracy on practical p...
143
click to vote
TSMC
2010
15 years 21 days ago
2010
In model-based control, a planner uses a system description to create a plan that achieves production goals. The same model can be used by model-based diagnosis to indirectly infe...
180
click to vote
VRIPHYS
2010
15 years 20 days ago
2010
We present a novel approach to fluid simulation, allowing us to take into account the surface energy in a precise manner. This new approach combines a novel, topology-adaptive app...