3495 search results - page 308 / 699 » On the random satisfiable process |
173
click to vote
FMCAD
2004
Springer
16 years 1 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
175
click to vote
ICA
2004
Springer
16 years 1 months ago
2004
Springer
We propose a new generative model for polyphonic music based on nonlinear Independent Subspace Analysis (ISA) and factorial Hidden Markov Models (HMM). ISA represents chord spectra...
192
click to vote
IFIP
2004
Springer
16 years 1 months ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
206
click to vote
SEKE
2004
Springer
16 years 1 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
184
click to vote
SEMWEB
2004
Springer
16 years 1 months ago
2004
Springer
Semantic Web Services enable the dynamic discovery of services based on a formal, explicit specification of the requester needs. The actual Web Services that will be used to satis...