823 search results - page 91 / 165 » Stateful Subset Cover |
FPL
1999
Springer
14 years 2 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
DEXA
1998
Springer
14 years 2 months ago
1998
Springer
Prototype databases are needed in any information system development process to support data-intensive applications development. It is common practice to populate these databases u...
MPC
1992
Springer
14 years 2 months ago
1992
Springer
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...
COST
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We propose a novel approach for on-line signature verification based on building HMM user models by adapting an ergodic Universal Background Model (UBM). State initializa...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
We design opportunistic spectrum access strategies for improving spectrum efficiency. In each slot, a secondary user chooses a subset of channels to sense and decides whether to ac...