3086 search results - page 243 / 618 » Generalized Discriminant Analysis Using a Kernel Approach |
159
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
197
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
201
click to vote
CVPR
2010
IEEE
16 years 8 days ago
2010
IEEE
Most existing approaches for learning action models work by extracting suitable low-level features and then training appropriate classifiers. Such approaches require large amount...
143
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: An important goal of whole-genome studies concerned with single nucleotide polymorphisms (SNPs) is the identification of SNPs associated with a covariate of interest s...
200
click to vote
APN
1992
Springer
15 years 10 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...