59 search results - page 10 / 12 » Entailment with Conditional Equality Constraints |
IJBC
2010
13 years 2 months ago
2010
In this paper, we numerically show that the dynamics of the HIV system is sensitive to both the initial condition and the system parameters. These phenomena imply that the system ...
JAR
2006
13 years 7 months ago
2006
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...
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
Two central criteria for data quality are consistency and accuracy. Inconsistencies and errors in a database often emerge as violations of integrity constraints. Given a dirty dat...
CAD
2000
Springer
13 years 7 months ago
2000
Springer
Very large and geometrically complex scenes, exceeding millions of polygons and hundreds of objects, arise naturally in many areas of interactive computer graphics. Time-critical ...
PIMRC
2008
IEEE
14 years 1 months ago
2008
IEEE
We analyze the performance ofvoice services over 3GPP WCDMA Networks for Release 99 and Release 7 deployments. We show, by using simulations, that the system capacity of Release 7 ...