Sciweavers

605 search results - page 73 / 121
» A Screen Space Quality Method for Data Abstraction
Sort
View
ATVA
2008
Springer
139views Hardware» more  ATVA 2008»
15 years 8 months ago
Compositional Verification for Component-Based Systems and Application
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Tha...
EUROMED
2010
15 years 4 months ago
Photogrammetric Measurement of the Classic Marathon Course
Abstract. In this paper an alternative method for measuring the Classic Marathon Course using photogrammetric methodology is presented and examined. The course is surveyed in stere...
Ino Papageorgaki, Sevi Tapinaki, Andreas Georgopou...
DEXA
2003
Springer
193views Database» more  DEXA 2003»
15 years 11 months ago
Supporting KDD Applications by the k-Nearest Neighbor Join
Abstract. The similarity join has become an important database primitive to support similarity search and data mining. A similarity join combines two sets of complex objects such t...
Christian Böhm, Florian Krebs
SIGMOD
2012
ACM
209views Database» more  SIGMOD 2012»
13 years 8 months ago
Locality-sensitive hashing scheme based on dynamic collision counting
Locality-Sensitive Hashing (LSH) and its variants are wellknown methods for solving the c-approximate NN Search problem in high-dimensional space. Traditionally, several LSH funct...
Junhao Gan, Jianlin Feng, Qiong Fang, Wilfred Ng
ANNPR
2006
Springer
15 years 9 months ago
Hierarchical Neural Networks Utilising Dempster-Shafer Evidence Theory
Abstract. Hierarchical neural networks show many benefits when employed for classification problems even when only simple methods analogous to decision trees are used to retrieve t...
Rebecca Fay, Friedhelm Schwenker, Christian Thiel,...