Sciweavers

2845 search results - page 234 / 569
» Constraints over Ontologies
Sort
View
166
Voted
CVPR
2010
IEEE
15 years 10 months ago
Refinement of Digital Elevation Models from Shadowing Cues
In this paper we derive formal constraints relating terrain elevation and observed cast shadows. We show how an optimisation framework can be used to refine surface estimates usin...
James Hogan, William Smith
176
Voted
EDOC
2004
IEEE
15 years 9 months ago
Notations for the Specification and Verification of Composite Web Services
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
Simon J. Woodman, Doug J. Palmer, Santosh K. Shriv...
ICRA
1999
IEEE
87views Robotics» more  ICRA 1999»
15 years 10 months ago
Toppling Manipulation
This paper describes a robotic manipulation primitive called toppling--knocking a part over. We derive the mechanical conditions for toppling, express these as constraints on robo...
Kevin M. Lynch
DCC
2004
IEEE
15 years 10 months ago
Unequal Error Protection of SNR-Scalable DPCM-Coded Video
A channel code allocation scheme is developed for transmission of video over error-prone channels. The system is designed to minimize the expected distortion of the video under a ...
Till Halbach
150
Voted
OOPSLA
1995
Springer
15 years 9 months ago
Using a Prototype-based Language for User Interface: The Newton Project's Experience
Object-oriented user interface frameworks are usually implemented in a class-based language. We chose instead to develop a prototype-based language, NewtonScript, for this purpose...
Walter R. Smith