Sciweavers

1887 search results - page 219 / 378
» Clustering with Local Restrictions
Sort
View
POPL
2010
ACM
16 years 4 months ago
Nominal System T
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
Andrew M. Pitts
ICAS
2005
IEEE
111views Robotics» more  ICAS 2005»
16 years 8 days ago
COOP - A cooperative caching service in MANETs
Data access applications in Mobile Ad Hoc Networks (MANETs) suffer from intermittent network connections and restricted power supplies. While most of the researches focus on Media...
Yu Du, Sandeep K. S. Gupta
SAT
2004
Springer
90views Hardware» more  SAT 2004»
16 years 3 hour ago
Encoding Global Unobservability for Efficient Translation to SAT
The paper studies the use of global unobservability constraints in a CNF translation of Boolean formulas, where the unobservability of logic blocks is encoded with CNF unobservabil...
Miroslav N. Velev
ECCV
2010
Springer
15 years 12 months ago
Towards Optimal Naive Bayes Nearest Neighbor
Abstract. Naive Bayes Nearest Neighbor (NBNN) is a feature-based image classifier that achieves impressive degree of accuracy [1] by exploiting ‘Image-toClass’ distances and b...
3DIM
2003
IEEE
15 years 12 months ago
Deformable Model with Adaptive Mesh and Automated Topology Changes
Due to their general and robust formulation deformable models offer a very appealing approach to 3D image segmentation. However there is a trade-off between model genericity, mode...
Jacques-Olivier Lachaud, Benjamin Taton