5639 search results - page 423 / 1128 » Timed Abstract Non-interference |
123
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Ontologies are shared conceptualizations of a certain domain. As such domains may change, also changes in the ontologies have to be considered, as otherwise there is no w...
124
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a technique to improve the efficiency of hardware-software cosimulation, using design information known at simulator compile-time. The generic term for such optimizatio...
153
Voted
COCOON
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. While the complexity of min-max and min-max regret versions of most classical combinatorial optimization problems has been thoroughly investigated, there are very few stu...
137
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper extends previously proposed bound propagation algorithm [11] for computing lower and upper bounds on posterior marginals in Bayesian networks. We improve the b...
142
click to vote
ECTEL
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The paper provides an overview of the elaboration, testing and improvement of Movelex, a complex virtual learning environment (VLE) supporting the establishment of self-r...