Sciweavers

5578 search results - page 842 / 1116
» Base Class Injection
Sort
View
CIE
2009
Springer
16 years 1 months ago
First-Order Universality for Real Programs
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...
Thomas Anberrée
CIKM
2009
Springer
16 years 1 months ago
An analysis framework for search sequences
In this paper we present a general framework to study sequences of search activities performed by a user. Our framework provides (i) a vocabulary to discuss types of features, mod...
Qiaozhu Mei, Kristina Klinkner, Ravi Kumar, Andrew...
EUROPAR
2009
Springer
16 years 1 months ago
PSPIKE: A Parallel Hybrid Sparse Linear System Solver
The availability of large-scale computing platforms comprised of tens of thousands of multicore processors motivates the need for the next generation of highly scalable sparse line...
Murat Manguoglu, Ahmed H. Sameh, Olaf Schenk
ICB
2009
Springer
202views Biometrics» more  ICB 2009»
16 years 1 months ago
Beyond Minutiae: A Fingerprint Individuality Model with Pattern, Ridge and Pore Features
Abstract. Fingerprints are considered to be unique because they contain various distinctive features, including minutiae, ridges, pores, etc. Some attempts have been made to model ...
Yi Chen, Anil K. Jain
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
16 years 1 months ago
Incremental Reasoning for Multiple Inheritance
Object-orientation supports code reuse and incremental programming. Multiple inheritance increases the power of code reuse, but complicates the binding of method calls and thereby ...
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Mart...