Sciweavers

691 search results - page 48 / 139
» Path Consistency by Dual Consistency
Sort
View
BMCBI
2010
104views more  BMCBI 2010»
13 years 7 months ago
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
Anil Sorathiya, Andrea Bracciali, Pietro Liò...
MOZ
2004
Springer
14 years 1 months ago
A Mozart Implementation of CP(BioNet)
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of an...
Grégoire Dooms, Yves Deville, Pierre Dupont
DEXA
2003
Springer
108views Database» more  DEXA 2003»
14 years 27 days ago
Repairing Inconsistent Merged XML Data
XML is rapidly becoming one of the most adopted standard for information representation and interchange over the Internet. With the proliferation of mobile devices of communication...
Wilfred Ng
ICRA
2010
IEEE
142views Robotics» more  ICRA 2010»
13 years 6 months ago
Learning and planning high-dimensional physical trajectories via structured Lagrangians
— We consider the problem of finding sufficiently simple models of high-dimensional physical systems that are consistent with observed trajectories, and using these models to s...
Paul Vernaza, Daniel D. Lee, Seung-Joon Yi
CVPR
2004
IEEE
14 years 9 months ago
Probabilistic Expression Analysis on Manifolds
In this paper, we propose a probabilistic videobased facial expression recognition method on manifolds. The concept of the manifold of facial expression is based on the observatio...
Ya Chang, Changbo Hu, Matthew Turk