108 search results - page 4 / 22 » How to synthesize nets from languages: a survey |
132
click to vote
LAWEB
2009
IEEE
15 years 6 months ago
2009
IEEE
— A user interface description language (UIDL) consists of a specification language that describes various aspects of a user interface under development. A comparative review of ...
AAAI
2007
15 years 1 months ago
2007
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...
104
click to vote
CSL
2004
Springer
14 years 11 months ago
2004
Springer
This paper presents a suite of methods and results for the semantic disambiguation of WordNet glosses. WordNet is a resource widely used in natural language processing and artific...
DAC
1999
ACM
16 years 17 days ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
APN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...