961 search results - page 28 / 193 » Automatic design synthesis with artificial intelligence tech... |
CP
2006
Springer
13 years 11 months ago
2006
Springer
We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be ...
ASSETS
2009
ACM
14 years 1 months ago
2009
ACM
In this paper, we compare alternative techniques for evaluating a software system for simplifying the readability of texts for adults with mild intellectual disabilities (ID). We ...
VLSID
1998
IEEE
13 years 11 months ago
1998
IEEE
With several commercial tools becoming available, the high-level synthesis of applicationspeci c integrated circuits is nding wide spread acceptance in VLSI industry today. Existi...
EVOW
2003
Springer
14 years 18 days ago
2003
Springer
This paper describes a novel use of evolutionary techniques to curate a main stream art show, Tabula Rasa. This allowed an openended approach to curation that was entirely in keepi...
FLAIRS
1998
13 years 8 months ago
1998
This paper describes a technique which allows impaired functions to be automatically determined from the faulty components and vice versa. Moreover a knowledge base containing the...