3742 search results - page 376 / 749 » On the Use of Formal Techniques for Validation |
176
click to vote
CSDA
2007
15 years 6 months ago
2007
Redundancy analysis (RA) is a versatile technique used to predict multivariate criterion variables from multivariate predictor variables. The reduced-rank feature of RA captures r...
256
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
This paper is committed to explore object-oriented methods for the classification of Quickbird images, aiming to support future urban population estimates. The study area concerns...
167
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
182
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
149
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Contextual information is important for sequence modeling. Hidden Markov Models (HMMs) and extensions, which have been widely used for sequence modeling, make simplifying, often u...