Sciweavers

212 search results - page 19 / 43
» Efficient solution of systems of orientation constraints
Sort
View
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
15 years 1 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein
ICDCS
2009
IEEE
14 years 7 months ago
Fragmentation Design for Efficient Query Execution over Sensitive Distributed Databases
The balance between privacy and utility is a classical problem with an increasing impact on the design of modern information systems. On the one side it is crucial to ensure that ...
Valentina Ciriani, Sabrina De Capitani di Vimercat...
91
Voted
ICMCS
2005
IEEE
116views Multimedia» more  ICMCS 2005»
15 years 3 months ago
Video Object Boundary Reconstruction by 2-Pass Voting
In this paper we propose a voting-based object boundary reconstruction approach. Tensor voting has been studied by many people recently, and it can be used for boundary estimation...
Like Zhang, Qi Tian, Nicu Sebe, Jingsheng Ma
ICCAD
2009
IEEE
131views Hardware» more  ICCAD 2009»
14 years 7 months ago
Scheduling with soft constraints
In a behavioral synthesis system, a typical approach used to guide the scheduler is to impose hard constraints on the relative timing between operations considering performance, a...
Jason Cong, Bin Liu, Zhiru Zhang
IJRR
2002
133views more  IJRR 2002»
14 years 9 months ago
Controlling an Uninstrumented Manipulator By Visual Servoing
In this paper we present a method to control the displacement of a robot arm with no proprioceptive sensor. The joint positions are not available and this manipulator is usually o...
Éric Marchand, François Chaumette, F...