Sciweavers

2111 search results - page 219 / 423
» Exploring evaluation methods for ambient information systems
Sort
View
CAISE
2006
Springer
15 years 10 months ago
From Requirements Models to Formal Specifications in B
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
Christophe Ponsard, Emmanuel Dieul
RIAO
2007
15 years 8 months ago
Capturing Sentence Prior for Query-Based Multi-Document Summarization
In this paper, we have considered a real world information synthesis task, generation of a fixed length multi document summary which satisfies a specific information need. This...
Jagadeesh Jagarlamudi, Prasad Pingali, Vasudeva Va...
IHI
2012
293views Healthcare» more  IHI 2012»
14 years 2 months ago
iCircos: visual analytics for translational bioinformatics
Translational bioinformatics increasingly involves the discovery of associations between molecular and phenotype information, with the goal of transforming those discoveries into ...
Suresh K. Bhavnani, Mamta Abbas, Vickie McMicken, ...
MIR
2004
ACM
242views Multimedia» more  MIR 2004»
15 years 12 months ago
Content based access for a massive database of human observation video
We present in this paper a CBIR system for use in a psychological study of the relationship between human movement and Dyslexia. The system allows access to up to 500 hours of vid...
Laurent Joyeux, Erika Doyle, Hugh Denman, Andrew C...
WWW
2011
ACM
15 years 1 months ago
Trust analysis with clustering
Web provides rich information about a variety of objects. Trustability is a major concern on the web. Truth establishment is an important task so as to provide the right informati...
Manish Gupta, Yizhou Sun, Jiawei Han