Sciweavers

3400 search results - page 112 / 680
» tools 2008
Sort
View
SOCRATES
2008
13 years 10 months ago
iVideo - Interactive Videos as an Instrument for E-Learning and Knowledge Construction
As a multitude of studies has already revealed, illustrations can be profitably used to convey knowledge. While the importance of videos continues to increase on the internet, we ...
Franz Lehner, Christian Roßnagel
STTT
2010
115views more  STTT 2010»
13 years 7 months ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
ENTCS
2008
106views more  ENTCS 2008»
13 years 9 months ago
Computability and Representations of the Zero Set
In this note we give a new representation for closed sets under which the robust zero set of a function is computable. We call this representation the component cover representati...
Pieter Collins
CPC
2007
113views more  CPC 2007»
13 years 9 months ago
Regular Partitions of Hypergraphs: Regularity Lemmas
Abstract. Szemer´edi’s regularity lemma for graphs has proved to be a powerful tool with many subsequent applications. The objective of this paper is to extend the techniques de...
Vojtech Rödl, Mathias Schacht
SOCO
2008
Springer
13 years 8 months ago
Superimposition: A Language-Independent Approach to Software Composition
Superimposition is a composition technique that has been applied successfully in several areas of software development. In order to unify several languages and tools that rely on s...
Sven Apel, Christian Lengauer