Sciweavers

2680 search results - page 209 / 536
» The topology of the independence complex
Sort
View
113
Voted
CASC
2007
Springer
133views Mathematics» more  CASC 2007»
15 years 7 months ago
Algebraic Visualization of Relations Using RelView
For graphs there exist highly elaborated drawing algorithms. We concentrate here in an analogous way on visualizing relations represented as Boolean matrices as, e.g., in RelView. ...
Rudolf Berghammer, Gunther Schmidt
MODELS
2007
Springer
15 years 7 months ago
A Generic Approach for Automatic Model Composition
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
Franck Fleurey, Benoit Baudry, Robert B. France, S...
ISMIR
2003
Springer
116views Music» more  ISMIR 2003»
15 years 6 months ago
Harmonic analysis with probabilistic graphical models
A technique for harmonic analysis is presented that partitions a piece of music into contiguous regions and labels each with the key, mode, and functional chord, e.g. tonic, domin...
Christopher Raphael, Josh Stoddard
ASYNC
2002
IEEE
114views Hardware» more  ASYNC 2002»
15 years 6 months ago
Checking Delay-Insensitivity: 104 Gates and Beyond
Wire and gate delays are accounted to have equal, or nearly equal, effect on circuit behavior in modern design techniques. This paper introduces a new approach to verify circuits ...
Alex Kondratyev, Oriol Roig, Lawrence Neukom, Karl...
ESA
2001
Springer
145views Algorithms» more  ESA 2001»
15 years 6 months ago
Grouping Techniques for Scheduling Problems: Simpler and Faster
In this paper we describe a general grouping technique to devise faster and simpler approximation schemes for several scheduling problems. We illustrate the technique on two diff...
Aleksei V. Fishkin, Klaus Jansen, Monaldo Mastroli...