3468 search results - page 444 / 694 » An open logical framework |
129
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
We introduce the associative skew clock routing problem, which seeks a clock routing tree such that zero skew is preserved only within identified groups of sinks. The associative ...
144
click to vote
ICPP
1998
IEEE
15 years 8 months ago
1998
IEEE
In contrast to the conventional send/receive model, the one-way communication model--using Put and Synch--allows the decoupling of message transmission from synchronization. This ...
166
click to vote
TOOLS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changi...
139
click to vote
ICGI
1998
Springer
15 years 8 months ago
1998
Springer
We present in this paper a new learning problem called learning distributions from experts. In the case we study the experts are stochastic deterministic finite automata (sdfa). W...
122
click to vote
IUI
1993
ACM
15 years 8 months ago
1993
ACM
We describe MASTERMIND, a step toward our vision of a knowledge-based design-time and run-time environment where human-computer interfaces development is centered around an all-en...