Sciweavers

4193 search results - page 71 / 839
» Measurable Categories
Sort
View
DAC
2010
ACM
15 years 3 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
CIKM
2006
Springer
15 years 3 months ago
Matching directories and OWL ontologies with AROMA
This paper presents a simple and adaptable matching method dealing with web directories, catalogs and OWL ontologies. By using a well-known Knowledge Discovery in Databases model,...
Jérôme David, Fabrice Guillet, Henri ...
DGO
2009
186views Education» more  DGO 2009»
15 years 29 days ago
Citizen noise pollution monitoring
In this paper we present a new approach to monitor noise pollution involving citizens and built upon the notions of participatory sensing and citizen science. We enable citizens t...
Nicolas Maisonneuve, Matthias Stevens, Maria E. Ni...
WWW
2005
ACM
16 years 16 days ago
Can link analysis tell us about web traffic?
In this paper we measure correlation between link analysis characteristics for Web pages such as in- and out-degree, PageRank and RBS with those obtained from real Web traffic ana...
Marcin Sydow
CSCW
2006
ACM
15 years 3 months ago
Spatiality in videoconferencing: trade-offs between efficiency and social presence
In this paper, we explore ways to combine the video of a remote person with a shared tabletop display to best emulate face-to-face collaboration. Using a simple photo application ...
Jörg Hauber, Holger Regenbrecht, Mark Billing...