Sciweavers

2827 search results - page 218 / 566
» CCured in the real world
Sort
View
TOOLS
1999
IEEE
15 years 11 months ago
A Survey of Schema Evolution in Object-Oriented Databases
Changes in the real world may require both the database population and the database schema to evolve. Particularly, this is the case in CAD/CAM and CASE database systems, in which...
Xue Li
HUC
1999
Springer
15 years 11 months ago
Design Probes for Handheld and Ubiquitous Computing
In developing electronic gadgets, meters and oscilloscopes are used to probe into their workings, so that engineers can understand how they are behaving and how they can be improve...
Harold W. Thimbleby
MAAMAW
1999
Springer
15 years 11 months ago
Extending Social Reasoning to Cope with Multiple Partner Coalitions
We present a utility-driven rationality and a complementary-driven rationality based model, relative to multiple partner coalitions, motivated by relations of dependence and instru...
Nuno David, Jaime Simão Sichman, Helder Coe...
ICRA
1998
IEEE
92views Robotics» more  ICRA 1998»
15 years 11 months ago
Gripper Design Guidelines for Modular Manufacturing
This paper describes guidelines for the design of grippers for use in modular manufacturing workcells. Gripper design is an important and often overlooked aspect of the design of ...
Greg C. Causey, Roger D. Quinn
CAIP
1997
Springer
155views Image Analysis» more  CAIP 1997»
15 years 10 months ago
Discrete-Time Rigidity-Constrained Optical Flow
An algorithm for optical ow estimation is presented for the case of discrete-time motion of an uncalibrated camera through a rigid world. Unlike traditional optical ow approaches t...
Jeffrey Mendelsohn, Eero P. Simoncelli, Ruzena Baj...