Sciweavers

1219 search results - page 136 / 244
» Where to Look Next
Sort
View
TABLEAUX
2009
Springer
15 years 11 months ago
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus
We study the logic of comparative concept similarity CSL introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison. In thi...
Régis Alenda, Nicola Olivetti, Camilla Schw...
CANDC
2009
ACM
15 years 11 months ago
2DEQ: an intuitive audio equalizer
The complexity of music production tools can be a significant bottleneck in the creative process. Here we describe the development of a simple, intuitive audio equalizer with the ...
Andrew T. Sabin, Bryan Pardo
COMPGEOM
2009
ACM
15 years 11 months ago
Straight skeletons of three-dimensional polyhedra
This paper studies the straight skeleton of polyhedra in three dimensions. We first address voxel-based polyhedra (polycubes), formed as the union of a collection of cubical (axis...
Gill Barequet, Amir Vaxman
FOSSACS
2010
Springer
15 years 11 months ago
On the Relationship between Spatial Logics and Behavioral Simulations
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
GLOBECOM
2008
IEEE
15 years 11 months ago
On Base Station Cooperation Schemes for Downlink Network MIMO under a Constrained Backhaul
— Next generation mobile comunications systems will most likely employ multi-cell cooperative signal processing schemes, often referred to as network MIMO, as these are known to ...
Patrick Marsch, Gerhard Fettweis