Sciweavers

184 search results - page 30 / 37
» Evaluation of Result Merging Strategies for Metasearch Engin...
Sort
View
IUI
2005
ACM
15 years 11 months ago
SmartCanvas: a gesture-driven intelligent drawing desk system
This paper describes SmartCanvas, an intelligent desk system that allows a user to perform freehand drawing on a desk or similar surface with gestures. Our system requires one cam...
Zhenyao Mo, John P. Lewis, Ulrich Neumann
ICFEM
2009
Springer
15 years 3 months ago
Implementing a Direct Method for Certificate Translation
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
Gilles Barthe, Benjamin Grégoire, Sylvain H...
DAC
2007
ACM
16 years 7 months ago
Compact State Machines for High Performance Pattern Matching
Pattern matching is essential to a wide range of applications such as network intrusion detection, virus scanning, etc. Pattern matching algorithms normally rely on state machines...
Piti Piyachon, Yan Luo
ISORC
2009
IEEE
16 years 20 days ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
SEMWEB
2009
Springer
16 years 16 days ago
Learning Semantic Query Suggestions
An important application of semantic web technology is recognizing human-defined concepts in text. Query transformation is a strategy often used in search engines to derive querie...
Edgar Meij, Marc Bron, Laura Hollink, Bouke Huurni...