8825 search results - page 1275 / 1765 » All for one or one for all |
130
click to vote
DIS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We propose an approach to subgroup discovery using distribution rules (a kind of association rules with a probability distribution on the consequent) for numerical proper...
123
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
100
click to vote
FLOPS
2006
Springer
15 years 5 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
ISMDA
2000
Springer
15 years 5 months ago
2000
Springer
In this work, we describe a project, jointly started by DEIS University of Bologna and Dianoema S.p.A., in order to build a system which is able to monitor nosocomial infections. T...
108
click to vote
WEBDB
2000
Springer
15 years 5 months ago
2000
Springer
The growth of the Internet has made it possible to query data in all corners of the globe. This trend is being abetted by the emergence of standards for data representation, such ...