Sciweavers

618 search results - page 12 / 124
» Reducibility and TT-Lifting for Computation Types
Sort
View
PVLDB
2010
66views more  PVLDB 2010»
13 years 7 months ago
Seaform: Search-As-You-Type in Forms
Form-style interfaces have been widely used to allow users to access information. In this demonstration paper, we develop a new search paradigm in form-style query interfaces, cal...
Hao Wu, Guoliang Li, Chen Li, Lizhu Zhou
EUROMICRO
2007
IEEE
14 years 2 months ago
Compatibility and reuse in component-based systems via type and unit inference
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
Christian Kühnel, Andreas Bauer 0002, Michael...
ICDAR
2009
IEEE
13 years 6 months ago
Handwritten Word Image Retrieval with Synthesized Typed Queries
We propose a new method for handwritten word-spotting which does not require prior training or gathering examples for querying. More precisely, a model is trained "on the fly...
José A. Rodríguez-Serrano, Florent P...
IEEEARES
2006
IEEE
14 years 2 months ago
Identifying Intrusions in Computer Networks with Principal Component Analysis
Most current anomaly Intrusion Detection Systems (IDSs) detect computer network behavior as normal or abnormal but cannot identify the type of attacks. Moreover, most current intr...
Wei Wang, Roberto Battiti
CHI
2009
ACM
14 years 9 months ago
Fast finger tracking system for in-air typing interface
Kazuhiro Terajima The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-8656 Japan Kazuhiro_Terajima@ipc.i.u-tokyo.ac.jp Takashi Komuro The University of Tokyo 7-3-1 Hongo, Bu...
Kazuhiro Terajima, Takashi Komuro, Masatoshi Ishik...