Sciweavers

2268 search results - page 95 / 454
» The Essence of Form Abstraction
Sort
View
CHI
1999
ACM
14 years 15 days ago
Chat Circles
Although current online chat environments provide new opportunities for communication, they are quite constrained in their ability to convey many important pieces of social inform...
Fernanda B. Viégas, Judith S. Donath
ASWC
2006
Springer
13 years 12 months ago
Transformation from OWL Description to Resource Space Model
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...
Hai Zhuge, Peng Shi, Yunpeng Xing, Chao He
APLAS
2005
ACM
13 years 10 months ago
Loop Invariants on Demand
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
K. Rustan M. Leino, Francesco Logozzo
EDM
2008
110views Data Mining» more  EDM 2008»
13 years 9 months ago
A Response Time Model For Bottom-Out Hints as Worked Examples
Students can use an educational system's help in unexpected r example, they may bypass abstract hints in search of a concrete solution. This behavior has traditionally been la...
Benjamin Shih, Kenneth R. Koedinger, Richard Schei...
ACL
2006
13 years 9 months ago
Answer Extraction, Semantic Clustering, and Extractive Summarization for Clinical Question Answering
This paper presents a hybrid approach to question answering in the clinical domain that combines techniques from summarization and information retrieval. We tackle a frequently-oc...
Dina Demner-Fushman, Jimmy J. Lin