22 papers:
DAC-2014-GebalaMMRT #on the #using- On Using Implied Values in EDT-based Test Compression (MG, GM, NM, JR, JT), p. 6.
STOC-2014-BermanHT #bias #constant- Coin flipping of any constant bias implies one-way functions (IB, IH, AT), pp. 398–407.
IJCAR-2014-BerdineB #refinement #smt- Computing All Implied Equalities via SMT-Based Partition Refinement (JB, NB), pp. 168–183.
HCI-IMT-2013-AlexandrisM #human-computer #multi- Linguistic Processing of Implied Information and Connotative Features in Multilingual HCI Applications (CA, IM), pp. 13–22.
- STOC-2012-BartalGK #approximate #polynomial #problem
- The traveling salesman problem: low-dimensionality implies a polynomial time approximation scheme (YB, LAG, RK), pp. 663–672.
SAT-2012-MatsliahSS #learning- Augmenting Clause Learning with Implied Literals — (Poster Presentation) (AM, AS, HS), pp. 500–501.
ICALP-v1-2011-FilmusPS #bound #exponential- Exponential Lower Bounds for AC0-Frege Imply Superpolynomial Frege Lower Bounds (YF, TP, RS), pp. 618–629.
- DUXU-v2-2011-Sauter #approach #interface #mobile #towards
- Implied Aesthetics: A Sensor-Based Approach towards Mobile Interfaces (DS), pp. 645–654.
- STOC-2010-Williams #bound
- Improving exhaustive search implies superpolynomial lower bounds (RW), pp. 231–240.
SEFM-2010-DanHC- Non-local Choice and Implied Scenarios (HD, RMH, SC), pp. 53–62.
DATE-2008-PomeranzR #detection #fault #logic- A Bridging Fault Model Where Undetectable Faults Imply Logic Redundancy (IP, SMR), pp. 1166–1171.
CAV-2008-BaswanaMP #consistency #memory management #set #verification- Implied Set Closure and Its Application to Memory Consistency Verification (SB, SKM, VP), pp. 94–106.
WCRE-2007-SousaMUK #detection #execution- Detecting Implied Scenarios from Execution Traces (FCdS, NCM, SU, JK), pp. 50–59.
RTA-2007-DowekH #proving- A Simple Proof That Super-Consistency Implies Cut Elimination (GD, OH), pp. 93–106.
PODS-2006-CaldersDHP #workflow- Analyzing workflows implied by instance-dependent access rules (TC, SD, JH, JP), pp. 100–109.
FASE-2003-Muccini #branch #detection- Detecting Implied Scenarios Analyzing Non-local Branching Choices (HM), pp. 372–386.
TACAS-2003-UchitelCKM #behaviour #named #tool support #using- LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios (SU, RC, JK, JM), pp. 597–601.
FSE-2002-UchitelKM #elicitation- Negative scenarios for implied scenario elicitation (SU, JK, JM), pp. 109–118.
- ESEC-FSE-2001-UchitelKM #detection #sequence chart #specification
- Detecting implied scenarios in message sequence chart specifications (SU, JK, JM), pp. 74–82.
CSL-1993-Marcinkowski #decidability #horn clause #set- A Horn Clause that Implies and Undecidable Set of Horn Clauses (JM), pp. 223–237.
ALP-1990-Hofbauer #multi #order #proving #recursion #termination- Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths (DH), pp. 347–358.
CADE-1984-Stickel #case study #commutative #proving #theorem proving- A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering That x³=x Implies Ring Commutativity (MES), pp. 248–258.
