Sciweavers

2564 search results - page 27 / 513
» Witness sets of projections
Sort
View
CSCW
1992
ACM
13 years 11 months ago
CSCW Challenges in Large-Scale Technical Projects - A Case Study
This paper investigates CSCW aspects of large-scale technical projects based on a case study of a specific Danish engineering company and uncovers challenges to CSCW applications ...
Kaj Grønbæk, Morten Kyng, Preben Moge...
ICRA
2007
IEEE
159views Robotics» more  ICRA 2007»
14 years 1 months ago
Visual Servoing from Spheres using a Spherical Projection Model
— In this paper, we investigate the use of a spherical projection model to search for optimal visual features for visual servoing. A new minimal set of three visual features is p...
Romeo Tatsambon Fomena, François Chaumette
KES
2007
Springer
14 years 1 months ago
A Rewrite Based Approach for Enforcing Access Constraints for XML
Abstract. Access control for semi-structured data is nontrivial, as witnessed by the number of access control approaches in recent literature. Recently a case has been made for exp...
Sriram Mohan, Arijit Sengupta, Yuqing Wu
BIRTHDAY
2005
Springer
14 years 1 months ago
Graph Transformation with Variables
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
Berthold Hoffmann
CAV
2010
Springer
214views Hardware» more  CAV 2010»
13 years 11 months ago
Comfusy: A Tool for Complete Functional Synthesis
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, P...