Sciweavers

2564 search results - page 27 / 513
» Witness sets of projections
Sort
View
CSCW
1992
ACM
15 years 9 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»
16 years 10 hour 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
15 years 12 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
15 years 11 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»
15 years 9 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...