Sciweavers

274 search results - page 32 / 55
» An Alternative to Deep Case for Representing Relational Info...
Sort
View
LICS
2005
IEEE
14 years 1 months ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe
VISUAL
2005
Springer
14 years 1 months ago
Unsupervised Color Film Restoration Using Adaptive Color Equalization
Chemical processing of celluloid based cinematic film, becomes unstable with time, unless they are stored at low temperatures. Some defects, such as bleaching on color movies, are ...
Alessandro Rizzi, Carlo Gatta, C. Slanzi, Gianluig...
EUROMICRO
2004
IEEE
13 years 11 months ago
Using Academic Courses for Empirical Validation of Software Development Processes
Software Process Improvement needs sound empirical data gathered from a range of empirical studies such as controlled experiments or case studies. However, conducting empirical st...
Marcus Ciolkowski, Dirk Muthig, Jörg Rech
ESA
2009
Springer
90views Algorithms» more  ESA 2009»
14 years 2 months ago
Storing a Compressed Function with Constant Time Access
We consider the problem of representing, in a space-efficient way, a function f : S → Σ such that any function value can be computed in constant time on a RAM. Specifically, ou...
Jóhannes B. Hreinsson, Morten Krøyer...
BMCBI
2005
113views more  BMCBI 2005»
13 years 7 months ago
PentaPlot: A software tool for the illustration of genome mosaicism
Background: Dekapentagonal maps depict the phylogenetic relationships of five genomes in a visually appealing diagram and can be viewed as an alternative to a single evolutionary ...
Lutz Hamel, Olga Zhaxybayeva, J. Peter Gogarten