1486 search results - page 190 / 298 » Algorithms for two-box covering |
134
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
154
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
An innate characteristic of the development of ontologies is that they are often created by independent groups of expertise, which generates the necessity of merging and aligning o...
123
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Instance-based learning (IBL) algorithms have proved to be successful in many applications. However, as opposed to standard statistical methods, a prediction in IBL is usually give...
165
click to vote
DEEC
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
126
click to vote
DAC
1995
ACM
15 years 8 months ago
1995
ACM
This paper describes a technique for calculating the switching activity of a set of registers shared by di erent data values. Based on the assumption that the joint pdf (probabili...