26 papers:
SIGIR-2015-ChakrabortyGP #corpus #retrieval- Retrieval from Noisy E-Discovery Corpus in the Absence of Training Data (AC, KG, SKP), pp. 755–758.
OOPSLA-2015-BastaniAA #android #data flow #verification- Interactively verifying absence of explicit information flows in Android apps (OB, SA, AA), pp. 299–315.
CAV-2015-KarbyshevBIRS #invariant #proving- Property-Directed Inference of Universal Invariants or Proving Their Absence (AK, NB, SI, NR, SS), pp. 583–602.
SCSM-2014-KamalNB #communication #distributed #mobile #product line #quote- “Presence in Absence”: Distributed Family Communication Practices for Familial Bonding via Mobile Communication Technology (FMK, NLMN, HB), pp. 474–485.
- SIGIR-2014-ChakrabortyRSB #correlation #effectiveness #on the
- On correlation of absence time and search effectiveness (SC, FR, MS, PB), pp. 1163–1166.
CHI-2013-MonroeLOSPM #approach #challenge #query #specification #visual notation- The challenges of specifying intervals and absences in temporal queries: a graphical language approach (MM, RL, JMdO, BS, CP, JM), pp. 2349–2358.
ICSE-2013-Dagnino- Estimating software-intensive projects in the absence of historical data (AD), pp. 941–950.
Onward-2012-BlackBHN #named- Grace: the absence of (inessential) difficulty (APB, KBB, MH, JN), pp. 85–98.
- SIGIR-2011-BhatiaMM #query
- Query suggestions in the absence of query logs (SB, DM, PM), pp. 795–804.
SAC-2011-ElahiY #analysis #heuristic #metric #requirements #trade-off- Requirements trade-offs analysis in the absence of quantitative measures: a heuristic method (GE, ESKY), pp. 651–658.
IFM-2010-DiosMP #pointer- Certified Absence of Dangling Pointers in a Language with Explicit Deallocation (JdD, MM, RP), pp. 305–319.
CIKM-2010-FreniVMBJ #network #privacy- Preserving location and absence privacy in geo-social networks (DF, CRV, SM, CB, CSJ), pp. 309–318.
VMCAI-2010-Might #analysis #pointer- Shape Analysis in the Absence of Pointers and Structure (MM), pp. 263–278.
ASE-2009-ZhangZHZM #named #testing- Jtop: Managing JUnit Test Cases in Absence of Coverage Information (LZ, JZ, DH, LZ, HM), pp. 677–679.
ICSM-2009-ZhangZHZM #testing- Prioritizing JUnit test cases in absence of coverage information (LZ, JZ, DH, LZ, HM), pp. 19–28.
RE-2009-MillerFM #architecture #requirements- Characteristics of New Requirements in the Presence or Absence of an Existing System Architecture (JAM, RF, NHM), pp. 5–14.
SAS-2008-ConwayDNB #analysis #fault #pointer #proving- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (CLC, DD, KSN, CB), pp. 62–77.
- ICSM-2006-Xie #automation #effectiveness #specification #testing
- Improving Effectiveness of Automated Software Testing in the Absence of Specifications (TX), pp. 355–359.
- CHI-2006-HowardKSGG
- Negotiating presence-in-absence: contact, content and context (SH, JK, MBS, KG, OG), pp. 909–912.
RTA-2005-Yoshinaka #higher-order #linear #λ-calculus- Higher-Order Matching in the Linear λ Calculus in the Absence of Constants Is NP-Complete (RY), pp. 235–249.
FASE-2004-HuismanGSC #case study #interactive- Checking Absence of Illicit Applet Interactions: A Case Study (MH, DG, CS, GC), pp. 84–98.
- SIGIR-2003-AslamS #effectiveness #on the #retrieval
- On the effectiveness of evaluating retrieval systems in the absence of relevance judgments (JAA, RS), pp. 361–362.
TACAS-2002-WeddeW #distributed #modelling- Explicit Modeling of Influences, and of Their Absence, in Distributed Systems (HW, AW), pp. 127–141.
WCRE-2001-MitchellM #benchmark #clustering #framework #metric #named- CRAFT: A Framework for Evaluating Software Clustering Results in the Absence of Benchmark Decompositions (BSM, SM), pp. 93–102.
AdaEurope-2001-FoulgerK #fault #runtime #safety #tool support #using- Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software (DF, SK), pp. 229–240.
POPL-1978-German #automation #fault #proving #runtime- Automating Proofs of the Absence of Common Runtime Errors (SMG), pp. 105–118.
