Sciweavers

876 search results - page 84 / 176
» New Results for the Martin Polynomial
Sort
View
ECCV
2004
Springer
16 years 10 days ago
Virtual Touch Screen for Mixed Reality
Mixed Reality (MR) opens a new dimension for Human Computer Interaction (HCI). Combined with computer vision (CV) techniques, it is possible to create advanced input devices. This ...
Martin Tosas, Li Bai
CISIS
2010
IEEE
16 years 8 days ago
A Parallel Programming Framework for Multi-core DNA Sequence Alignment
—A new parallel programming framework for DNA sequence alignment in homogeneous multi-core processor architectures is proposed. Contrasting with traditional coarse-grained parall...
Tiago Jose Barreiros Martins de Almeida, Nuno Fili...
185
Voted
ECOOP
2003
Springer
16 years 5 days ago
A Nominal Theory of Objects with Dependent Types
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Martin Odersky, Vincent Cremet, Christine Röc...
176
Voted
FPL
2003
Springer
128views Hardware» more  FPL 2003»
16 years 5 days ago
Case Study of a Functional Genomics Application
Although microarrays are already having a tremendous impact on biomedical science, they still present great computational challenges. We examine a particular problem involving the...
Tom Van Court, Martin C. Herbordt, Richard J. Bart...
192
Voted
ASAP
2009
IEEE
131views Hardware» more  ASAP 2009»
16 years 1 days ago
Constraint-Driven Instructions Selection and Application Scheduling in the DURASE system
This paper presents a new constraint-driven method for computational pattern selection, mapping and application scheduling using reconfigurable processor extensions. The presente...
Kevin Martin, Christophe Wolinski, Krzysztof Kuchc...