567 search results - page 33 / 114 » Lightweight Extraction of Object Models from Bytecode |
ICFP
2012
ACM
11 years 10 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
MLDM
2009
Springer
14 years 2 months ago
2009
Springer
We face the problem of novelty detection from stream data, that is, the identification of new or unknown situations in an ordered sequence of objects which arrive on-line, at cons...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
In this paper we present a novel framework for extracting the ratable aspects of objects from online user reviews. Extracting such aspects is an important challenge in automatical...
SSIAI
2000
IEEE
14 years 1 days ago
2000
IEEE
This paper describes a content-based image retrieval system that employs both higher-level and lower-level vision methodologies separately and in conjunction for the retrieval of ...
MVA
1996
13 years 9 months ago
1996
In this paper, a method for extracting influences of specular reflection and shade from multiple color images is described. As regards extraction, the di-chromatic reflection mode...