What Causes a System to Satisfy a Specification?
Hana Chockler, Joseph Y. Halpern, Orna Kupferman · 2003
Abstract onlyNot checked
Computational Theory and Mathematics
Filters2 filters applied
Status
- No notice
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
1,664 papersQuestions on this topic
Set K-Cover Algorithms for Energy Efficient Monitoring in Wireless Sensor Networks
Zoe Abrams, Ashish Goel, Serge Plotkin · 2003
Abstract onlyNot checked
Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures
Farn Wang · 2003
Abstract onlyNot checked
Lower bounds for predecessor searching in the cell probe model
Pranab Sen, S. Venkatesh · 2003
Abstract onlyNot checked
Barnacle: An Assembly Algorithm for Clone-based Sequences of Whole Genomes
Vicky Choi, Martin Farach-Colton · 2003
Abstract onlyNot checked
Randomized selection with quintary partitions
Krzysztof C. Kiwiel · 2003
Abstract onlyNot checked
Quantum Multi-Prover Interactive Proof Systems with Limited Prior Entanglement
Hirotada Kobayashi, Keiji Matsumoto · Journal of Computer and System Sciences, 66(3):429--450, 2003 · 2003
Abstract onlyNot checked
TCTL Inevitability Analysis of Dense-time Systems
Farn Wang, Geng-Dian Hwang, Fang Yu · 2003
Abstract onlyNot checked
A combinatorial characterization of higher-dimensional orthogonal packing
Sandor P. Fekete, Joerg Schepers · 2003
Abstract onlyNot checked
Using Simulated Annealing to Calculate the Trembles of Trembling Hand Perfection
Stuart McDonald, Liam Wagner · Proceedings of IEEE Congress on Evolutionary Computation 2003, vol.4, pp. 2482-2489 · 2003
Abstract onlyNot checked
Hard satisfiable formulas for DPLL-type algorithms
Sergey I. Nikolenko · 2003
Abstract onlyNot checked
Range Mode and Range Median Queries on Lists and Trees
Danny Krizanc, Pat Morin, Michiel Smid · 2003
Abstract onlyNot checked
Small Spans in Scaled Dimension
John M. Hitchcock · 2003
Abstract onlyNot checked
High-density and Secure Data Transmission via Linear Combinations
Vince Grolmusz · 2003
Abstract onlyNot checked
The Best Trail Algorithm for Assisted Navigation of Web Sites
Richard Wheeldon, Mark Levene · 2003
Abstract onlyNot checked
Strong Equivalence Made Easy: Nested Expressions and Weight Constraints
Hudson Turner · Theory and Practice of Logic Programming, vol 3 (4&5), pages 609-622, 2003 · 2003
Abstract onlyNot checked
Cryptographic Randomized Response Techniques
Andris Ambainis, Markus Jakobsson, Helger Lipmaa · 2003
Abstract onlyNot checked
Bounded LTL Model Checking with Stable Models
Keijo Heljanko, Ilkka Niemelä · 2003
Abstract onlyNot checked
Quasiconvex Analysis of Backtracking Algorithms
David Eppstein · 2003
Abstract onlyNot checked
Learning in a Compiler for MINSAT Algorithms
Anja Remshagen, Klaus Truemper · Theory and practice of Logic Programming, Vol 3(3), pp 271-286, 2003 · 2003
Abstract onlyNot checked