3758 search results - page 276 / 752 » A Complete Subsumption Algorithm |
212
click to vote
CONTEXT
2005
Springer
15 years 8 months ago
2005
Springer
Multi-context systems can be used to represent contextual information and inter-contextual information flow. We show that the local model semantics of a multi-context system is co...
181
click to vote
ICDAR
2007
IEEE
15 years 8 months ago
2007
IEEE
Performance evaluation for document image analysis and understanding is a recurring problem. Many groundtruthed document image databases are now used to evaluate general algorithm...
163
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
165
click to vote
COLING
2008
15 years 8 months ago
2008
This paper describes a parameter estimation method for multi-label classification that does not rely on approximate inference. It is known that multi-label classification involvin...
160
click to vote
UAI
2008
15 years 8 months ago
2008
While known algorithms for sensitivity analysis and parameter tuning in probabilistic networks have a running time that is exponential in the size of the network, the exact comput...