Sciweavers

1522 search results - page 166 / 305
» Distinctiveness of faces: A computational approach
Sort
View
SMI
2006
IEEE
108views Image Analysis» more  SMI 2006»
15 years 8 months ago
Segmenting Point Sets
There is a growing need to extract features from point sets for purposes like model classification, matching, and exploration. We introduce a technique for segmenting a point-sam...
Ichitaro Yamazaki, Vijay Natarajan, Zhaojun Bai, B...
90
Voted
APCHI
1998
IEEE
15 years 6 months ago
The Design of Banking Websites: Lessons from Iterative Design
Iterative design is usually considered in the context of prototyping, evaluating, and improving a single product. We had the interesting opportunity to work on three distinct prod...
Tom Brinck, Darren Gergle
EMSOFT
2004
Springer
15 years 5 months ago
A methodology for generating verified combinatorial circuits
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
ENTCS
2008
110views more  ENTCS 2008»
15 years 1 months ago
Game-Based Probabilistic Predicate Abstraction in PRISM
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norm...
WIOPT
2010
IEEE
15 years 7 days ago
Lifetime optimization for wireless sensor networks with correlated data gathering
—The nodes in wireless sensor networks often collect correlated measurements. Not taking into account this information redundancy is detrimental to the network lifetime, since co...
Nashat Abughalieh, Yann-Aël Le Borgne, Kris S...