Sciweavers

5456 search results - page 227 / 1092
» A study of Object Evolution
Sort
View
TAPSOFT
1995
Springer
15 years 7 months ago
An Imperative Object Calculus
We develop an imperative calculus of objects that is both tiny and expressive. Our calculus provides a minimal setting in which to study the operational semantics and the typing r...
Martín Abadi, Luca Cardelli
MST
2008
119views more  MST 2008»
15 years 3 months ago
Logical Equivalence for Subtyping Object and Recursive Types
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...
Steffen van Bakel, Ugo de'Liguoro
ICDCS
2010
IEEE
15 years 5 months ago
Link-Centric Probabilistic Coverage Model for Transceiver-Free Object Detection in Wireless Networks
Abstract--Sensing coverage is essential for most applications in wireless networks. In traditional coverage problem study, the disk coverage model has been widely applied because o...
Dian Zhang, Yunhuai Liu, Lionel M. Ni
PR
2008
188views more  PR 2008»
15 years 3 months ago
Detection and recognition of contour parts based on shape similarity
Due to distortion, noise, segmentation errors, overlap, and occlusion of objects in digital images, it is usually impossible to extract complete object contours or to segment the ...
Xiang Bai, Xingwei Yang, Longin Jan Latecki
HRI
2011
ACM
14 years 7 months ago
A robotic game to evaluate interfaces used to show and teach visual objects to a robot in real world condition
In this paper, we present a real world user study of 4 interfaces designed to teach new visual objects to a social robot. This study was designed as a robotic game in order to mai...
Pierre Rouanet, Fabien Danieau, Pierre-Yves Oudeye...