Sciweavers

1081 search results - page 158 / 217
» Type Inference of SELF
Sort
View
ALT
2009
Springer
15 years 8 months ago
Iterative Learning from Texts and Counterexamples Using Additional Information
Abstract. A variant of iterative learning in the limit (cf. [LZ96]) is studied when a learner gets negative examples refuting conjectures containing data in excess of the target la...
Sanjay Jain, Efim B. Kinber
ICRA
2009
IEEE
111views Robotics» more  ICRA 2009»
15 years 6 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
WACV
2007
IEEE
15 years 6 months ago
A Vision System for Monitoring Intermodal Freight Trains
We describe the design and implementation of a vision based Intermodal Train Monitoring System(ITMS) for extracting various features like length of gaps in an intermodal(IM) train...
Avinash Kumar, Narendra Ahuja, John M. Hart, Vises...
OOPSLA
2007
Springer
15 years 6 months ago
Compile-time execution structure of object-oriented programs with practical ownership domain annotations
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
Marwan Abi-Antoun
NDSS
2006
IEEE
15 years 5 months ago
Using Generalization and Characterization Techniques in the Anomaly-based Detection of Web Attacks
The custom, ad hoc nature of web applications makes learning-based anomaly detection systems a suitable approach to provide early warning about the exploitation of novel vulnerabi...
William K. Robertson, Giovanni Vigna, Christopher ...