7103 search results - page 489 / 1421 » Program Generation and Components |
131
click to vote
ECLIPSE
2004
ACM
15 years 10 months ago
2004
ACM
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...
159
click to vote
IAW
2003
IEEE
15 years 10 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
127
click to vote
SIGIR
2003
ACM
15 years 10 months ago
2003
ACM
Abstract. In this paper we describe the architecture of the MIND system for federating multimedia digital libraries. MIND integrates heterogeneous, multimedia non-co-operating digi...
159
click to vote
CIDM
2007
IEEE
15 years 11 months ago
2007
IEEE
— We present K2GA, an algorithm for learning Bayesian network structures from data. K2GA uses a genetic algorithm to perform stochastic search, while employing a modified versio...
ICES
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents elementary circuit components which exhibit self-checking properties; however, which do not utilize any additional signals to indicate the fault. The fault is i...