Sciweavers

2620 search results - page 370 / 524
» Qualities in Possible Worlds
Sort
View
ISSAC
2007
Springer
105views Mathematics» more  ISSAC 2007»
16 years 20 days ago
Certification of the QR factor R and of lattice basis reducedness
Given a lattice basis of n vectors in Zn, we propose an algorithm using 12n3 + O(n2) floating point operations for checking whether the basis is LLL-reduced. If the basis is redu...
Gilles Villard
ISVC
2007
Springer
16 years 20 days ago
Utilizing Semantic Interpretation of Junctions for 3D-2D Pose Estimation
In this paper we investigate the quality of 3D-2D pose estimates using hand labeled line and point correspondences. We select point correspondences from junctions in the image, all...
Florian Pilz, Yan Shi, Daniel Grest, Nicolas Pugea...
MLMI
2007
Springer
16 years 20 days ago
Towards an Objective Test for Meeting Browsers: The BET4TQB Pilot Experiment
This paper outlines first the BET method for task-based evaluation of meeting browsers. ‘Observations of interest’ in meetings are empirically determined by neutral observers ...
Andrei Popescu-Belis, Philippe Baudrion, Mike Flyn...
NLDB
2007
Springer
16 years 20 days ago
Automatic Issue Extraction from a Focused Dialogue
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
Koen V. Hindriks, Stijn Hoppenbrouwers, Catholijn ...
RE
2007
Springer
16 years 19 days ago
Goal-Oriented Conceptual Database Design
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...
Lei Jiang, Thodoros Topaloglou, Alexander Borgida,...