226 search results - page 6 / 46 » Studying the effect of similarity in online task-focused int... |
CGA
2010
13 years 5 months ago
2010
In this paper, we present a novel visual analytics system named Newdle with a focus on exploring large online news collections when the semantics of the individual news articles ha...
FIW
2009
13 years 5 months ago
2009
Abstract. This paper presents an online detection and resolution method for feature interactions among integrated services in home network systems. To achieve reasonable online det...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents technical foundation, roadmap and initial results of the IDIOM project (Information Diffusion across Interactive Online Media). Information spreads rapidly acr...
IJMMS
2007
13 years 7 months ago
2007
Terrorists and extremists are increasingly utilizing Internet technology to enhance their ability to influence the outside world. Due to the lack of multi-lingual and multimedia ...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...