677 search results - page 16 / 136 » Dependent Types from Counterexamples |
133
Voted
ITCC
2005
IEEE
15 years 9 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 ...
145
click to vote
SERA
2005
Springer
15 years 9 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...
138
Voted
SIGMOD
2003
ACM
16 years 3 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...
221
Voted
JMLR
2010
14 years 10 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...
126
Voted
COLING
2008
15 years 5 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...