686 search results - page 61 / 138 » Automatic Model Generation Strategies for Model Transformati... |
225
click to vote
FROCOS
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
106
click to vote
LREC
2010
15 years 4 months ago
2010
This paper deals with the task of large vocabulary proper name recognition. In order to accomodate a wide diversity of possible name pronunciations (due to non-native name origins...
116
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
We describe a system for automatically extracting dynamics of tongue gestures from ultrasound images of the tongue using translational deep belief networks (tDBNs). In tDBNs, a jo...
112
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
120
click to vote
CISIS
2009
IEEE
15 years 10 months ago
2009
IEEE
We explore how to support the creation of customized visualizations of ontology instance data through the specification of ontology mappings. We combine technologies from the dis...