1060 search results - page 180 / 212 » Mechanized semantics |
DMIN
2006
14 years 11 months ago
2006
Abstract: Data preparation is a significant preprocessing task to prepare data for mining. The data mining process cannot succeed without a serious effort to prepare data. Very oft...
MODELLIERUNG
2004
14 years 11 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
SDL
2001
14 years 11 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
UAI
2001
14 years 11 months ago
2001
We consider the task of aggregating beliefs of several experts. We assume that these beliefs are represented as probability distributions. We argue that the evaluation of any aggr...
FORTE
2000
14 years 11 months ago
2000
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...