933 search results - page 125 / 187 » A Fully Automatic hp-Adaptivity |
106
click to vote
COOPIS
2000
IEEE
15 years 5 months ago
2000
IEEE
The identification and analysis of the knowledge available in document form is a key element of corporate knowledge management. In engineering-intensive organizations, it involves...
99
Voted
ITC
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we present a design for IEEE 1149.1 Test Access Port (TAP)controllers that is based on a practical reuse methodology. While the basic use and core functionality of T...
115
click to vote
EDCC
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
129
click to vote
TPHOL
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
113
click to vote
ADL
1998
Springer
15 years 4 months ago
1998
Springer
The Informedia Digital Library Project [Wactlar96] allows full content indexing and retrieval of text, audio and video material. Segmentation is an integral process in the Informe...