208 search results - page 4 / 42 » On an undecidable problem related to difference equations wi... |
AMW
2010
13 years 8 months ago
2010
Abstract. Consistent query answering (CQA) is about formally characterizing and computing semantically correct answers to queries posed to a database that may fail to satisfy certa...
FLAIRS
2007
13 years 9 months ago
2007
To describe and explain the world, scientists search for equations that quantify relations among relevant variables. We wanted to assist these efforts by a computer program inspir...
ICCV
2009
IEEE
14 years 11 months ago
2009
IEEE
Images taken from different views of a planar object are
related by planar homography. Recovering the parameters
of such transformations is a fundamental problem in computer
vis...
ICTAI
2003
IEEE
14 years 19 days ago
2003
IEEE
In bioinformatics, biochemical pathways can be modeled by many differential equations. It is still an open problem how to fit the huge amount of parameters of the equations to the...
RECOMB
2009
Springer
14 years 8 months ago
2009
Springer
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...