2702 search results - page 342 / 541 » Practically Applicable Formal Methods |
100
click to vote
IVA
2010
Springer
15 years 29 days ago
2010
Springer
Virtual human (VH) experiences are increasingly used for training interpersonal skills such as military leadership, classroom education, and doctor-patient interviews. These divers...
143
click to vote
CVPR
2010
IEEE
14 years 12 months ago
2010
IEEE
We apply the concept of natural gradients to deformable registration. The motivation stems from the lack of physical interpretation for gradients of image-based difference measure...
118
Voted
TCOM
2011
14 years 9 months ago
2011
—Using high-rate theory approximations we introduce flexible practical quantizers based on possibly non-Gaussian models in both the constrained resolution (CR) and the constrain...
112
Voted
SAT
2009
Springer
15 years 9 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
119
click to vote
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
Evaluation of ontology alignments is in practice done in two ways: (1) assessing individual correspondences and (2) comparing the alignment to a reference alignment. However, this ...