437 search results - page 54 / 88 » Gradience, Constructions and Constraint Systems |
246
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Semantic relationships, those class-to-class connections that carry inherent support for constraints and various other functionalities, play an important role when building inform...
162
click to vote
SAFECOMP
2004
Springer
15 years 11 months ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
152
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Knowledge-based systems (KBS) are not necessarily based on well-defined ontologies. In particular it is possible to build KBS for classification problems, where there is little con...
191
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
158
click to vote
DAC
2010
ACM
15 years 9 months ago
2010
ACM
With the ever-increasing transistor variability in CMOS technology, it is essential to integrate variation-aware performance analysis into the task allocation and scheduling proce...