Sciweavers

2099 search results - page 261 / 420
» Similarity for Conceptual Querying
Sort
View
114
Voted
MHCI
2009
Springer
15 years 8 months ago
Poker surface: combining a multi-touch table and mobile phones in interactive card games
In this paper, we introduce the design and implementation of a digital card game that combines mobile phone gestures and multitouch tabletop interactions. Conceptually based on in...
Alireza Sahami Shirazi, Tanja Döring, Pouyan ...
DILS
2007
Springer
15 years 7 months ago
Instance-Based Matching of Large Life Science Ontologies
Ontologies are heavily used in life sciences so that there is increasing value to match different ontologies in order to determine related conceptual categories. We propose a simpl...
Toralf Kirsten, Andreas Thor, Erhard Rahm
FSTTCS
2007
Springer
15 years 7 months ago
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
Michael Backes, Markus Dürmuth, Ralf Küs...
METRICS
2005
IEEE
15 years 7 months ago
Acceptance Issues in Metrics Program Implementation
Software process improvement initiatives such as metrics programs have a high failure rate during their assimilation in a software organization. Social and individual issues are s...
Medha Umarji, Henry Emurian
APPROX
2005
Springer
111views Algorithms» more  APPROX 2005»
15 years 7 months ago
A Lower Bound on List Size for List Decoding
A q-ary error-correcting code C ⊆ {1, 2, . . . , q}n is said to be list decodable to radius ρ with list size L if every Hamming ball of radius ρ contains at most L codewords o...
Venkatesan Guruswami, Salil P. Vadhan