Sciweavers

3993 search results - page 509 / 799
» Matchmaking for Structured Objects
Sort
View
STACS
2007
Springer
15 years 10 months ago
Hard Metrics from Cayley Graphs of Abelian Groups
: Hard metrics are the class of extremal metrics with respect to embedding into Euclidean spaces: they incur Ω(logn) multiplicative distortion, which is as large as it can possib...
Ilan Newman, Yuri Rabinovich
ASWEC
2006
IEEE
15 years 10 months ago
Formally Analysing a Security Protocol for Replay Attacks
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
Benjamin W. Long, Colin J. Fidge
CRV
2006
IEEE
223views Robotics» more  CRV 2006»
15 years 10 months ago
Disparity Map Estimation Using A Total Variation Bound
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
Wided Miled, Jean-Christophe Pesquet
ECBS
2006
IEEE
90views Hardware» more  ECBS 2006»
15 years 10 months ago
Evaluating Alternatives for Architecture-Oriented Refactoring
Refactoring of software systems represents an fundamental way of improving their quality properties. Large-scale refactoring has to be performed at an architectural level to execu...
Sven Wohlfarth, Matthias Riebisch
HICSS
2006
IEEE
141views Biometrics» more  HICSS 2006»
15 years 10 months ago
An Ontology-Based Architecture for Knowledge Commerce
Inter-organizational knowledge networks and knowledge marketplaces have emerged in order to enable organizations to share or commercially exploit their knowledge outside narrow or...
Kostas Kafentzis, Panos Georgolios, Athanasios Bou...