Sciweavers

1520 search results - page 124 / 304
» Class Hierarchy Specialization
Sort
View
CVPR
2007
IEEE
13 years 12 months ago
Improving Part based Object Detection by Unsupervised, Online Boosting
Detection of objects of a given class is important for many applications. However it is difficult to learn a general detector with high detection rate as well as low false alarm r...
Bo Wu, Ram Nevatia
JFP
2010
82views more  JFP 2010»
13 years 6 months ago
Formal polytypic programs and proofs
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
Wendy Verbruggen, Edsko de Vries, Arthur Hughes
CORR
2010
Springer
145views Education» more  CORR 2010»
13 years 5 months ago
Outer Bounds for the Interference Channel with a Cognitive Relay
In this paper, we first present an outer bound for a general interference channel with a cognitive relay, i.e., a relay that has non-causal knowledge of both independent messages t...
Stefano Rini, Daniela Tuninetti, Natasha Devroye
OOPSLA
1997
Springer
14 years 2 days ago
Parasitic Methods: An Implementation of Multi-Methods for Java
In an object-oriented programming language, method selection is (usually) done at run-time using the class of the receiver. Some object-orientedlanguages(such as CLOS) have multi-...
John Boyland, Giuseppe Castagna
ECHT
1992
14 years 13 hour ago
Hyperform: Using Extensibility to Develop Dynamic, Open and Distributed Hypertext Systems
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
Uffe Kock Wiil, John J. Leggett