Sciweavers

3511 search results - page 471 / 703
» Evaluation Methods for Groupware Systems
Sort
View
JAR
2006
95views more  JAR 2006»
15 years 6 months ago
Mechanizing and Improving Dependency Pairs
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
Jürgen Giesl, René Thiemann, Peter Sch...
MVA
2006
110views Computer Vision» more  MVA 2006»
15 years 6 months ago
Tracking the activity of participants in a meeting
A vision system suitable for a smart meeting room able to analyse the activities of its occupants is described. Multiple people were tracked using a particle filter in which sampl...
Hammadi Nait-Charif, Stephen J. McKenna
JSW
2007
126views more  JSW 2007»
15 years 6 months ago
On Remote and Virtual Experiments in eLearning
— The science of physics is based on theories and models as well as experiments: the former structure relations and simplify reality to a degree such that predictions on physical...
Sabina Jeschke, Harald Scheel, Thomas Richter, Chr...
DATAMINE
1999
113views more  DATAMINE 1999»
15 years 5 months ago
A Fast Parallel Clustering Algorithm for Large Spatial Databases
The clustering algorithm DBSCAN relies on a density-based notion of clusters and is designed to discover clusters of arbitrary shape as well as to distinguish noise. In this paper,...
Xiaowei Xu, Jochen Jäger, Hans-Peter Kriegel
MT
2007
100views more  MT 2007»
15 years 5 months ago
Semi-supervised model adaptation for statistical machine translation
Statistical machine translation systems are usually trained on large amounts of bilingual text (used to learn a translation model), and also large amounts of monolingual text in th...
Nicola Ueffing, Gholamreza Haffari, Anoop Sarkar