44 search results - page 5 / 9 » The Design of ESSENCE: A Constraint Language for Specifying ... |
WINE
2009
Springer
14 years 1 months ago
2009
Springer
A well-known result due to Vickery gives a mechanism for selling a number of goods to interested buyers in a way that achieves the maximum social welfare. In practice, a problem wi...
COLING
1990
13 years 7 months ago
1990
We consider the problem of extracting specified types of information from natural language text. To properly analyze the text, we wish to apply semantic (selectional) constraints ...
EUROMICRO
2003
IEEE
13 years 12 months ago
2003
IEEE
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...
ENTCS
2006
13 years 6 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
ITC
2003
IEEE
13 years 12 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...