971 search results - page 92 / 195 » Approximate Satisfiability and Equivalence |
131
Voted
ISDA
2009
IEEE
15 years 7 months ago
2009
IEEE
—Protein binding sites are often represented by means of graphs capturing their most important geometrical and physicochemical properties. Searching for structural similarities a...
100
Voted
ICCAD
2000
IEEE
15 years 5 months ago
2000
IEEE
The increasing size of integrated systems combined with deep submicron physical modeling details creates an explosion in RLC interconnect modeling complexity of unmanageable propo...
104
Voted
ECML
2006
Springer
15 years 4 months ago
2006
Springer
Recent scaling up of POMDP solvers towards realistic applications is largely due to point-based methods such as PBVI, Perseus, and HSVI, which quickly converge to an approximate so...
109
Voted
PODS
2010
ACM
15 years 27 days ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
106
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
Abstract--We show that the maximization of the sum degreesof-freedom for the static flat-fading multiple-input multipleoutput (MIMO) interference channel is equivalent to a rank co...