Sciweavers

5879 search results - page 1015 / 1176
» Separation - Past, Present, and Future
Sort
View
FOSSACS
2008
Springer
15 years 8 months ago
Footprints in Local Reasoning
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
Mohammad Raza, Philippa Gardner
CSREAEEE
2007
136views Business» more  CSREAEEE 2007»
15 years 8 months ago
Virtual Apparatus Framework Approach to Constructing Adaptive Tutorials
- We present the Adaptive eLearning Platform (AeLP) – a platform solution for creating rich, interactive, and highly visual, adaptive eLearning activities designed using Virtual ...
Dror Ben-Naim, Nadine Marcus, Michael Bain
NAACL
2007
15 years 8 months ago
Entity Extraction is a Boring Solved Problem - Or is it?
This paper presents empirical results that contradict the prevailing opinion that entity extraction is a boring solved problem. In particular, we consider data sets that resemble ...
Marc Vilain, Jennifer Su, Suzi Lubar
SDM
2007
SIAM
89views Data Mining» more  SDM 2007»
15 years 8 months ago
Preventing Information Leaks in Email
The widespread use of email has raised serious privacy concerns. A critical issue is how to prevent email information leaks, i.e., when a message is accidentally addressed to non-...
Vitor R. Carvalho, William W. Cohen
AVI
2004
15 years 8 months ago
Stitching: pen gestures that span multiple displays
Stitching is a new interaction technique that allows users to combine pen-operated mobile devices with wireless networking by using pen gestures that span multiple displays. To st...
Ken Hinckley, Gonzalo Ramos, François Guimb...
« Prev « First page 1015 / 1176 Last » Next »