Sciweavers

1036 search results - page 79 / 208
» Natural Narrowing for General Term Rewriting Systems
Sort
View
CHI
2008
ACM
14 years 9 months ago
Multi-flick: an evaluation of flick-based scrolling techniques for pen interfaces
Multi-flick, which consists of repeated flick actions, has received media attention as an intuitive and natural document-scrolling technique for stylus based systems. In this pape...
Dzmitry Aliakseyeu, Pourang Irani, Andrés L...
IUI
2004
ACM
14 years 2 months ago
Speech and sketching for multimodal design
While sketches are commonly and effectively used in the early stages of design, some information is far more easily conveyed verbally than by sketching. In response, we have combi...
Aaron Adler, Randall Davis
FM
2001
Springer
130views Formal Methods» more  FM 2001»
14 years 1 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
CIKM
2008
Springer
13 years 11 months ago
Kernel methods, syntax and semantics for relational text categorization
Previous work on Natural Language Processing for Information Retrieval has shown the inadequateness of semantic and syntactic structures for both document retrieval and categoriza...
Alessandro Moschitti
CLEF
2008
Springer
13 years 10 months ago
UniNE at Domain-Specific IR - CLEF 2008
Our first objective in participating in this domain-specific evaluation campaign is to propose and evaluate various indexing and search strategies for the German, English and Russ...
Claire Fautsch, Ljiljana Dolamic, Jacques Savoy