Sciweavers

3994 search results - page 683 / 799
» A Linear Logical Framework
Sort
View
SIGMOD
2004
ACM
120views Database» more  SIGMOD 2004»
16 years 4 months ago
Prediction and Indexing of Moving Objects with Unknown Motion Patterns
Existing methods for prediction in spatio-temporal databases assume that objects move according to linear functions. This severely limits their applicability, since in practice mo...
Yufei Tao, Christos Faloutsos, Dimitris Papadias, ...
147
Voted
SDM
2009
SIAM
215views Data Mining» more  SDM 2009»
16 years 1 months ago
Hybrid Clustering of Text Mining and Bibliometrics Applied to Journal Sets.
To obtain correlated and complementary information contained in text mining and bibliometrics, hybrid clustering to incorporate textual content and citation information has become...
Bart De Moor, Frizo A. L. Janssens, Shi Yu, Wolfga...
EUROGRAPHICS
2010
Eurographics
16 years 1 months ago
Fast High-Dimensional Filtering Using the Permutohedral Lattice
Many useful algorithms for processing images and geometry fall under the general framework of high-dimensional Gaussian filtering. This family of algorithms includes bilateral ...
Andrew Adams, Jongmin Baek, Myers Abraham Davis
128
Voted
ICCD
2001
IEEE
103views Hardware» more  ICCD 2001»
16 years 1 months ago
Fixed-outline Floorplanning through Better Local Search
Classical floorplanning minimizes a linear combination of area and wirelength. When Simulated Annealing is used, e.g., with the Sequence Pair representation, the typical choice o...
Saurabh N. Adya, Igor L. Markov
ICCAD
2004
IEEE
80views Hardware» more  ICCAD 2004»
16 years 1 months ago
HiSIM: hierarchical interconnect-centric circuit simulator
To ensure the power and signal integrity of modern VLSI circuits, it is crucial to analyze huge amount of nonlinear devices together with enormous interconnect and even substrate ...
Tsung-Hao Chen, Jeng-Liang Tsai, Tanay Karnik