3047 search results - page 262 / 610 » On the Meaning of Logical Completeness |
234
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: DNA microarray experiments are conducted in logical sets, such as time course profiling after a treatment is applied to the samples, or comparisons of the samples unde...
233
click to vote
OWLED
2008
15 years 9 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
267
click to vote
POPL
2011
ACM
14 years 10 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
269
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
172
click to vote
ICIP
1998
IEEE
16 years 9 months ago
1998
IEEE
Object recognition, robotic vision, occluding noise removal or photograph design require the ability to perform disocclusion. We call disocclusion the recovery of hidden parts of ...