6978 search results - page 1059 / 1396 » On Proofs in System P |
150
click to vote
GROUP
2003
ACM
16 years 2 days ago
2003
ACM
Process technologies play an increasingly important role as the world is being digitalized in nearly every corner. The major obstacles to their massive deployment include reusabil...
194
click to vote
SBCCI
2003
ACM
16 years 2 days ago
2003
ACM
Recycling was recently proposed as a system-level design technique to facilitate the building of complex System-on-Chips (SOC) by assembling pre-designed components. Recycling all...
157
click to vote
AVBPA
2003
Springer
16 years 2 days ago
2003
Springer
The NIST HumanID Evaluation Framework, or HEF, is an effort to design, implement, and deploy standards for the robust and complete documentation of the biometric system evaluation...
159
click to vote
BPM
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...
187
click to vote
ESSMAC
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Gaussian process models provide a probabilistic non-parametric modelling approach for black-box identification of nonlinear dynamic systems. The Gaussian processes can h...