Sciweavers

6799 search results - page 236 / 1360
» The Tao of Modeling Spaces
Sort
View
131
Voted
ENTCS
2008
103views more  ENTCS 2008»
15 years 2 months ago
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
Stefan Blom, Boudewijn R. Haverkort, Matthias Kunt...
CVPR
2007
IEEE
16 years 3 months ago
Feature Mining for Image Classification
The efficiency and robustness of a vision system is often largely determined by the quality of the image features available to it. In data mining, one typically works with immense...
Piotr Dollár, Zhuowen Tu, Hai Tao, Serge Be...
SIGMOD
2003
ACM
125views Database» more  SIGMOD 2003»
16 years 2 months ago
An Optimal and Progressive Algorithm for Skyline Queries
The skyline of a set of d-dimensional points contains the points that are not dominated by any other point on all dimensions. Skyline computation has recently received considerabl...
Dimitris Papadias, Yufei Tao, Greg Fu, Bernhard Se...
SIGIR
2003
ACM
15 years 7 months ago
ReCoM: reinforcement clustering of multi-type interrelated data objects
Most existing clustering algorithms cluster highly related data objects such as Web pages and Web users separately. The interrelation among different types of data objects is eith...
Jidong Wang, Hua-Jun Zeng, Zheng Chen, Hongjun Lu,...
ICDM
2005
IEEE
165views Data Mining» more  ICDM 2005»
15 years 7 months ago
A Bernoulli Relational Model for Nonlinear Embedding
The notion of relations is extremely important in mathematics. In this paper, we use relations to describe the embedding problem and propose a novel stochastic relational model fo...
Gang Wang, Hui Zhang, Zhihua Zhang, Frederick H. L...