Sciweavers

489 search results - page 17 / 98
» Type classes as objects and implicits
Sort
View
OOPSLA
2009
Springer
14 years 1 months ago
Minimizing dependencies within generic classes for faster and smaller programs
Generic classes can be used to improve performance by allowing compile-time polymorphism. But the applicability of compile-time polymorphism is narrower than that of runtime polym...
Dan Tsafrir, Robert W. Wisniewski, David F. Bacon,...
OOPSLA
2009
Springer
14 years 1 months ago
Self type constructors
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
Chieri Saito, Atsushi Igarashi
ADBIS
2004
Springer
93views Database» more  ADBIS 2004»
14 years 15 days ago
Query Rewriting Using Views in a Typed Mediator Environment
Abstract. Query rewriting method is proposed for the heterogeneous information integration infrastructure formed by the subject mediator environment. Local as View (LAV) approach t...
Leonid A. Kalinichenko, Dmitry O. Martynov, Sergey...
ADC
2008
Springer
146views Database» more  ADC 2008»
14 years 1 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
IGARSS
2010
13 years 1 months ago
Calibrating probabilities for hyperspectral classification of rock types
This paper investigates the performance of machine learning methods for classifying rock types from hyperspectral data. The main objective is to test the impact on classification ...
Sildomar T. Monteiro, Richard J. Murphy