2586 search results - page 73 / 518 » Automatic Abstraction for Congruences |
CPP
2011
13 years 9 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
ECCV
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. Recently, new segmentation models based on local information have emerged. They combine local statistics of the regions along the contour (inside and outside) to drive th...
ICIP
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper we present a coherent approach using the hierarchical HMM with shared structures to extract the structural units that form the building blocks of an education/traini...
ICML
2008
IEEE
15 years 10 months ago
2008
IEEE
We present an algorithm, HI-MAT (Hierarchy Induction via Models And Trajectories), that discovers MAXQ task hierarchies by applying dynamic Bayesian network models to a successful...
101
click to vote
CICLING
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. One question that arises if we want to evolve generation techniques to accommodate Web ontologies is how to capture and expose the relevant ontology content to the user. ...