3123 search results - page 565 / 625 » Focusing on pattern matching |
152
click to vote
JUCS
2008
15 years 3 months ago
2008
Abstract: Although immense efforts have been invested in the construction of hundreds of learning object repositories, the degree of reuse of learning resources maintained in such ...
172
click to vote
EOR
2007
15 years 3 months ago
2007
Crew scheduling problems at the planning level are typically solved in two steps: first, creating working patterns, and then assigning these to individual crew. The first step is ...
155
click to vote
PAMI
2006
15 years 3 months ago
2006
This paper is concerned with the performance evaluation of fingerprint verification systems. After an initial classification of biometric testing initiatives, we explore both the t...
123
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Proteins carrying twin-arginine (Tat) signal peptides are exported into the periplasmic compartment or extracellular environment independently of the classical Secdepe...
146
click to vote
JACM
2007
15 years 3 months ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...