Sciweavers

3154 search results - page 249 / 631
» Computing Closed Skycubes
Sort
View
LICS
2010
IEEE
15 years 4 months ago
A Sound and Complete Calculus for Finite Stream Circuits
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
Stefan Milius
LPAR
2010
Springer
15 years 4 months ago
Counting and Enumeration Problems with Bounded Treewidth
By Courcelle's Theorem we know that any property of finite structures definable in monadic second-order logic (MSO) becomes tractable over structures with bounded treewidth. T...
Reinhard Pichler, Stefan Rümmele, Stefan Wolt...
PIMRC
2010
IEEE
15 years 4 months ago
Gaussian two-way relay channel with arbitrary inputs
A two-way relay channel with independent parallel Gaussian channels between the relay and the two terminals is considered. Focusing on the decode-and-forward protocol, the second p...
Deniz Gündüz, Miquel Payaró
EUSFLAT
2009
177views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Fuzzy Voxel Object
In this paper, computer vision and fuzzy set theory are merged for the robust construction of three-dimensional objects using a small number of cameras and minimal a priori knowled...
Derek Anderson, Robert H. Luke III, Erik E. Stone,...
IDA
2009
Springer
15 years 4 months ago
Efficient Vertical Mining of Frequent Closures and Generators
Abstract. The effective construction of many association rule bases requires the computation of both frequent closed and frequent generator itemsets (FCIs/FGs). However, only few m...
Laszlo Szathmary, Petko Valtchev, Amedeo Napoli, R...