4211 search results - page 154 / 843 » A formal approach to MASQ |
199
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. Notoriously, quantum computation shatters complexity theory, but is innocuous to computability theory [17]. Yet several works have shown how quantum theory as it stands c...
174
click to vote
GEOINFORMATICA
1998
15 years 6 months ago
1998
An important component of spatial data quality is the imprecision resulting from the resolution at which data are represented. Current research on topics such as spatial data inte...
178
click to vote
ICTAC
2005
Springer
15 years 12 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
149
click to vote
VLSID
2006
IEEE
16 years 6 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
161
click to vote
UAI
2004
15 years 7 months ago
2004
Humans currently use arguments for explaining choices which are already made, or for evaluating potential choices. Each potential choice has usually pros and cons of various stren...