Exploiting Constraints in Transformation-Based Verification

Lecture Notes in Computer Science - Germany
doi 10.1007/11560548_21
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Exploiting Visual Constraints in Robot Motion Planning

English

Probabilistic Feature-Based Transformation for Speaker Verification Over Telephone Networks

Neurocomputing
Computer Science ApplicationsArtificial IntelligenceCognitive Neuroscience
2007English

Temporal Dependency-Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Scientific Workflow Systems

ACM Transactions on Software Engineering and Methodology
Software
2011English

Local Verification of Global Integrity Constraints in Distributed Databases

SIGMOD Record
Information SystemsSoftware
1993English

Tensor Decomposition Exploiting Structural Constraints for Brain Source Imaging

2015English

The Constraints, Construction, and Verification of a Strain-Specific Physiologically Based Pharmacokinetic Rat Model

Journal of Pharmaceutical Sciences
Pharmaceutical Science
2017English

A Bayesian Model for Exploiting Application Constraints to Enable Unsupervised Training of a P300-Based BCI

PLoS ONE
Multidisciplinary
2012English

Local Verification of Global Integrity Constraints in Distributed Databases

1993English

Specification and Verification of Media Constraints Using UPPAAL

Design, Specification and Verification of Interactive Systems ’98
1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy