Sciweavers

4047 search results - page 462 / 810
» The Discrete Basis Problem
Sort
View
EACL
2009
ACL Anthology
16 years 7 months ago
Translation as Weighted Deduction
We present a unified view of many translation algorithms that synthesizes work on deductive parsing, semiring parsing, and efficient approximate search algorithms. This gives rise...
Adam Lopez
AINA
2009
IEEE
16 years 1 months ago
Quantitative Evaluation of Software Quality Metrics in Open-Source Projects
The validation of software quality metrics lacks statistical significance. One reason for this is that the data collection requires quite some effort. To help solve this problem,...
Henrike Barkmann, Rüdiger Lincke, Welf Lö...
ICRA
2009
IEEE
125views Robotics» more  ICRA 2009»
16 years 1 months ago
On computing robust n-finger force-closure grasps of 3D objects
Abstract— The paper deals with computing frictional forceclosure grasps of 3D objects problem. The key idea of the presented work is the demonstration that wrenches associated to...
Sahar El-Khoury, Anis Sahbani
WAIM
2009
Springer
16 years 1 months ago
An Approach to Detect Collaborative Conflicts for Ontology Development
Ontology has been widely adopted as the basis of knowledge sharing and knowledge-based public services. However, ontology construction is a big challenge, especially in collaborati...
Yewang Chen, Xin Peng, Wenyun Zhao
CSL
2009
Springer
16 years 1 months ago
Algorithmic Analysis of Array-Accessing Programs
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
Rajeev Alur, Pavol Cerný, Scott Weinstein