677 search results - page 16 / 136 » Dependent Types from Counterexamples |
ITCC
2005
IEEE
15 years 3 months ago
2005
IEEE
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
SERA
2005
Springer
15 years 3 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
SIGMOD
2003
ACM
15 years 9 months ago
2003
ACM
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...
JMLR
2010
14 years 4 months ago
2010
Discovering the dependencies among the variables of a domain from examples is an important problem in optimization. Many methods have been proposed for this purpose, but few large...
COLING
2008
14 years 11 months ago
2008
This paper proposes an approach using large scale case structures, which are automatically constructed from both a small tagged corpus and a large raw corpus, to improve Chinese d...