Sciweavers

1002 search results - page 59 / 201
» Reasoning about Object Structures Using Ownership
Sort
View
ICFEM
2005
Springer
14 years 3 months ago
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
Jens Brandt, Klaus Schneider
EL
2011
86views more  EL 2011»
12 years 9 months ago
The use of metadata and preservation methods for continuous access to digital data
Data loss prevention starts with the creation of a digital object. However, methods to minimize the loss of digital data are often ignored, the use of metadata structures embedded...
Ria Groenewald, Amelia Breytenbach
ICRA
2009
IEEE
111views Robotics» more  ICRA 2009»
14 years 4 months ago
Interactive learning of the acoustic properties of household objects
— Human beings can perceive object properties such as size, weight, and material type based solely on the sounds that the objects make when an action is performed on them. In ord...
Jivko Sinapov, Mark Wiemer, Alexander Stoytchev
ECCV
2010
Springer
14 years 1 months ago
Exploiting Repetitive Object Patterns for Model Compression and Completion
Many man-made and natural structures consist of similar elements arranged in regular patterns. In this paper we present an unsupervised approach for discovering and reasoning on re...
HT
1991
ACM
14 years 1 months ago
Identifying Aggregates in Hypertext Structures
Hypertext systems are being used in many applications because of their flexible structure and the great browsing freedom they give to diverse communities of users. However, this s...
Rodrigo A. Botafogo, Ben Shneiderman