Sciweavers

3511 search results - page 443 / 703
» Evaluation Methods for Groupware Systems
Sort
View
207
Voted
JSAC
2006
115views more  JSAC 2006»
15 years 6 months ago
Deployment of an Algorithm for Large-Scale Topology Discovery
Abstract-- Topology discovery systems are starting to be introduced in the form of easily and widely deployed software. Unfortunately, the research community has not examined the p...
Benoit Donnet, Philippe Raoult, Timur Friedman, Ma...
CORR
2011
Springer
172views Education» more  CORR 2011»
15 years 1 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux
CVPR
2009
IEEE
17 years 1 months ago
Holistic Context Modeling using Semantic Co-occurrences
We present a simple framework to model contextual relationships between visual concepts. The new framework combines ideas from previous object-centric methods (which model conte...
Nikhil Rasiwasia (University Of California, San Di...
ICPR
2008
IEEE
16 years 8 months ago
Rapid signer adaptation for continuous sign language recognition using a combined approach of eigenvoices, MLLR, and MAP
Current sign language recognition systems are still designed for signer-dependent operation only and thus suffer from the problem of interpersonal variability in production. Appli...
Christoph Blömer, Karl-Friedrich Kraiss, Ulri...
SIGMOD
2006
ACM
153views Database» more  SIGMOD 2006»
16 years 6 months ago
Interactive query formulation over web service-accessed sources
Integration systems typically support only a restricted set of queries over the schema they export. The reason is that the participating information sources contribute limited con...
Michalis Petropoulos, Alin Deutsch, Yannis Papakon...