Sciweavers

824 search results - page 111 / 165
» Structural Inference for Semistructured Data
Sort
View
JAR
2006
236views more  JAR 2006»
15 years 3 months ago
Deciding Boolean Algebra with Presburger Arithmetic
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
DEBU
2010
104views more  DEBU 2010»
15 years 3 months ago
Query Results Ready, Now What?
A major hardness of processing searches issued in the form of keywords on structured data is the ambiguity problem. A set of keywords itself is not a complete piece of information...
Ziyang Liu, Yi Chen
BMCBI
2006
118views more  BMCBI 2006»
15 years 3 months ago
Predicting the effect of missense mutations on protein function: analysis with Bayesian networks
Background: A number of methods that use both protein structural and evolutionary information are available to predict the functional consequences of missense mutations. However, ...
Chris J. Needham, James R. Bradford, Andrew J. Bul...
JMLR
2010
186views more  JMLR 2010»
14 years 10 months ago
Dimensionality Estimation, Manifold Learning and Function Approximation using Tensor Voting
We address instance-based learning from a perceptual organization standpoint and present methods for dimensionality estimation, manifold learning and function approximation. Under...
Philippos Mordohai, Gérard G. Medioni
TCSV
2008
161views more  TCSV 2008»
15 years 3 months ago
Dynamic Facial Expression Analysis and Synthesis With MPEG-4 Facial Animation Parameters
This paper describes a probabilistic framework for faithful reproduction of dynamic facial expressions on a synthetic face model with MPEG-4 facial animation parameters (FAPs) whil...
Yongmian Zhang, Qiang Ji, Zhiwei Zhu, Beifang Yi