1828 search results - page 281 / 366 » First-Class Type Classes |
105
click to vote
APSEC
1999
IEEE
15 years 7 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
136
Voted
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...
126
Voted
FOCS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper connects two fundamental ideas from theoretical computer science: hard-core set construction, a type of hardness amplification from computational complexity, and boosti...
143
Voted
SOFSEM
1999
Springer
15 years 6 months ago
1999
Springer
We study learning scenarios in which multiple learners are involved and “nature” imposes some constraints that force the predictions of these learners to behave coherently. Thi...
109
Voted
VISUALIZATION
1998
IEEE
15 years 6 months ago
1998
IEEE
We consider interpolation between keyframe hierarchies. We impose a set of weak constraints that allows smooth interpolation between two keyframe hierarchies in an animation or, m...