Stem quantif$ (all stems)

67 papers:

PLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier

Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.

HCI-AS-2014-MateiRR #quantifier

Refreshing Quantification and other Ploys to Give Up the Habit — A Repertoire of Relations, Identities, and Rhetorical Devices in Smoking Cessation Applications (SM, CR, RR), pp. 265–276.

ECIR-2014-Sebastiani #quantifier

Text Quantification (FS0), pp. 819–822.

ICPR-2014-MollerPB #analysis #quantifier #using

Quantification of Actin Structures Using Unsupervised Pattern Analysis Techniques (BM, EP, NB), pp. 3251–3256.

ICPR-2014-TanYZBYMM #automation #framework #quantifier #robust

An Automated and Robust Framework for Quantification of Muscle and Fat in the Thigh (CT, ZY, SZ, BB, HJY, CM, DNM), pp. 3173–3178.

RE-2014-Hinai #quantifier #social

Quantification of social sustainability in software (MAH), pp. 456–460.

SAC-2014-GuimaraesGF #composition #on the #quantifier

On the impact of obliviousness and quantification on model composition effort (EG, AG, KF), pp. 1043–1048.

IJCAR-2014-BaumgartnerBW #finite #proving #quantifier #theorem proving

Finite Quantification in Hierarchic Theorem Proving (PB, JB, UW), pp. 152–167.

VLDB-2013-CaoB #implementation #performance #quantifier #query #relational

Efficient Implementation of Generalized Quantification in Relational Query Languages (BC, AB), pp. 241–252.

CHI-2013-ReineckeYMMZLG #complexity #predict #quantifier #visual notation

Predicting users’ first impressions of website aesthetics with a quantification of perceived visual complexity and colorfulness (KR, TY, LM, RM, YZ, JL, KZG), pp. 2049–2058.

ICLP-J-2013-YouZZ #logic programming #quantifier #source code

Disjunctive logic programs with existential quantification in rule heads (JHY, HZ, YZ), pp. 563–578.

ICPR-2012-ElnakibNCPGE #3d #analysis #quantifier #using

Quantification of age-related brain cortex change using 3D shape analysis (AE, MN, MC, HYP, GLG, AEB), pp. 41–44.

ICPR-2012-TabiaGL #quantifier #recognition

Motion histogram quantification for human action recognition (HT, MG, LL), pp. 2404–2407.

TOOLS-EUROPE-2012-OlszakBJV #detection #quantifier

Detection of Seed Methods for Quantification of Feature Confinement (AO, EB, BNJ, JV), pp. 252–268.

CAV-2012-KopfMO #automation #quantifier

Automatic Quantification of Cache Side-Channels (BK, LM, MO), pp. 564–580.

DAC-2011-SchneiderGCBEP #on the #quantifier

On the quantification of sustainability and extensibility of FlexRay schedules (RS, DG, SC, UDB, PE, ZP), pp. 375–380.

SAC-2011-RahmanHA11a #named #privacy #quantifier #towards

ProQuPri: towards anonymity protection with privacy quantification for context-aware applications (FR, MEH, SIA), pp. 453–454.

CAV-2011-BrauerKK #incremental #quantifier #satisfiability

Existential Quantification as Incremental SAT (JB, AK, JK), pp. 191–207.

ICPR-2010-AtmosukartoSH #3d #learning #programming #search-based

The Use of Genetic Programming for Learning 3D Craniofacial Shape Quantifications (IA, LGS, CH), pp. 2444–2447.

ICPR-2010-CanBG #array #quantifier

Quantification of Subcellular Molecules in Tissue Microarray (AC, MOB, MJG), pp. 2548–2551.

ICPR-2010-QuelhasMC #3d #quantifier #using

3D Cell Nuclei Fluorescence Quantification Using Sliding Band Filter (PQ, AMM, ACC), pp. 2508–2511.

KDD-2010-Feldman #data mining #lessons learnt #mining #quantifier #scalability

The quantification of advertising: (+ lessons from building businesses based on large scale data mining) (KF), pp. 5–6.

ESOP-2009-CameronD #quantifier

Existential Quantification for Variant Ownership (NRC, SD), pp. 128–142.

KDD-2009-ShibuyaHK #modelling #multi #quantifier

Causality quantification and its applications: structuring and modeling of multivariate time series (TS, TH, YK), pp. 787–796.

KDD-2009-XueW #classification #quantifier

Quantification and semi-supervised classification methods for handling changes in class distribution (JCX, GMW), pp. 897–906.

SIGIR-2009-BolourianMR #named #quantifier #topic #using

SugarCube: quantification of topic propagation in the blogosphere using percolation theory (AAB, YM, CJvR), pp. 786–787.

REFSQ-2009-TourweCBB #collaboration #quantifier #requirements

Demystifying Release Definition: From Requirements Prioritization to Collaborative Value Quantification (TT, WC, NB, VB), pp. 37–44.

SIGMOD-2008-DuTZ #named #privacy #quantifier

Privacy-MaxEnt: integrating background knowledge in privacy quantification (WD, ZT, ZZ), pp. 459–472.

ICPR-2008-Abdel-HakimF #detection #novel #quantifier

A novel stability quantification of detected interest points in scale-space (AEAH, AAF), pp. 1–4.

CAV-2008-BerdineLMRS #analysis #concurrent #quantifier #thread

Thread Quantification for Concurrent Shape Analysis (JB, TLA, RM, GR, SS), pp. 399–413.

CASE-2007-IshiiNYOM #behaviour #quantifier #realtime

Real-time and Long-time Quantification of Behavior of Laboratory Mice Scratching (II, YN, KY, KO, HM), pp. 628–633.

TLCA-2007-Tatsuta #higher-order #quantifier #set

Simple Saturated Sets for Disjunction and Second-Order Existential Quantification (MT), pp. 366–380.

ICGT-2006-Rensink #graph transformation #quantifier

Nested Quantification in Graph Transformation Rules (AR), pp. 1–13.

ICPR-v2-2006-CaoXF06a #quantifier

Camera Motion Quantification and Alignment (XC, JX, HF), pp. 13–16.

ICPR-v2-2006-ZhangN #multi #quantifier

Style Quantification of Scanned Multi-source Digits (XZ, GN), pp. 1018–10121.

ICPR-v3-2006-BaudrierMNR #comparison #performance #quantifier

A fast binary-image comparison method with local-dissimilarity quantification (EB, GM, FN, SR), pp. 216–219.

OOPSLA-2006-BockischKHAM #control flow #performance #quantifier

Efficient control flow quantification (CB, SK, MH, MA, MM), pp. 125–138.

SAC-2006-GrandonG #approximate #constraints #distance #parametricity #quantifier

Inner approximation of distance constraints with existential quantification of parameters (CG, AG), pp. 1660–1661.

CSL-2006-Kaiser #automation #game studies #model checking #quantifier

Game Quantification on Automatic Structures and Hierarchical Model Checking Games (LK), pp. 411–425.

SAT-2006-JussilaSB #proving #quantifier #satisfiability

Extended Resolution Proofs for Symbolic SAT Solving with Quantification (TJ, CS, AB), pp. 54–60.

DATE-2005-CabodiCNQ #bound #model checking #quantifier #set

Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking (GC, MC, SN, SQ), pp. 688–689.

ICPR-v3-2004-KovalevK #quantifier

A New Method for Quantification of Age-Related Brain Changes (VAK, FK), pp. 770–773.

CAV-2004-RayH #deduction #first-order #pipes and filters #quantifier #using #verification

Deductive Verification of Pipelined Machines Using First-Order Quantification (SR, WAHJ), pp. 31–43.

PADL-2003-Schachte #quantifier #sequence

Sequence Quantification (PS), pp. 128–144.

SAC-2003-XiangYSRS #quantifier #using

Quantification of Trabecular Bone Mass and Orientation Using Gabor Wavelets (YX, VY, JS, TR, MBS), pp. 183–188.

ICPR-v1-2002-HiranoHTOE #3d #image #quantifier #using

Quantification of Shrinkage of Lung Lobe from Chest CT Images Using the 3D Extended Voronoi Division and its Application to the Benign/Malignant Discrimination of Tumor Shadows (YH, JiH, JiT, HO, KE), pp. 751–754.

ICDAR-2001-VincentF #approach #quantifier

Gray Level Use in a Handwriting Fractal Approach and Morphological Properties Quantification (NV, TF), pp. 307–311.

PODS-2001-AgrawalA #algorithm #data mining #design #mining #on the #privacy #quantifier

On the Design and Quantification of Privacy Preserving Data Mining Algorithms (DA, CCA).

ICEIS-v1-2001-CarvalhoRMNK #fuzzy #logic #quantifier #using

Quantification of the Emotional Quotient of the Intelligence using the Classic and Fuzzy Logic (LFdC, RR, RRdM, SMN, CK), pp. 361–365.

ICML-2000-VilaltaO #bias #classification #distance #evaluation #metric #quantifier

A Quantification of Distance Bias Between Evaluation Metrics In Classification (RV, DO), pp. 1087–1094.

KR-2000-GinsbergP #algorithm #finite #quantifier #satisfiability

Satisfiability Algorithms and Finite Quantification (MLG, AJP), pp. 690–701.

CSL-1998-Egly

Quantifers and the System KE: Some Surprising Results (UE), pp. 90–104.

CSL-1998-KempeS #algebra #first-order #on the #power of #specification

On the Power of Quantifers in First-Order Algebraic Specification (DK, AS), pp. 45–57.

VLDB-1997-ClaussenKMP #database #object-oriented #optimisation #quantifier #query

Optimizing Queries with Universal Quantification in Object-Oriented and Object-Relational Databases (JC, AK, GM, KP), pp. 286–295.

HCI-SEC-1997-LathanN #performance #quantifier

Quantification of Human Performance in Extreme Environments (CEL, DJN), pp. 1005–1008.

ECOOP-1996-GaweckiM #perspective #quantifier #type system

Integrating Subtyping, Matching and Type Quantification: A Practical Perspective (AG, FM), pp. 26–47.

KDD-1995-Thiesson #network #quantifier #semistructured data

Accelerated Quantification of Bayesian Networks with Incomplete Data (BT), pp. 306–311.

POPL-1995-CastagnaP #bound #decidability #named #quantifier

Corrigendum: Decidable Bounded Quantification (GC, BCP), p. 408.

POPL-1995-Vorobyov #bound #decidability #quantifier

Structural Decidable Extensions of Bounded Quantification (SGV), pp. 164–175.

CAV-1995-Kupferman #branch #logic #quantifier

Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions (OK), pp. 325–338.

POPL-1994-CastagnaP #bound #decidability #quantifier

Decidable Bounded Quantification (GC, BCP), pp. 151–162.

PLILP-1993-BarklundB #bound #memory management #multi

Executing Bounded Quantifications on Shared Memory Multiprocessors (JB, JB), pp. 302–317.

POPL-1992-Pierce #bound #decidability #quantifier

Bounded Quantification is Undecidable (BCP), pp. 305–315.

LICS-1990-Courcelle #graph #higher-order #monad #on the #set

On the Expression of Monadic Second-Order Graph Properties Without Quantifications Over Sets of Edges (Extended Abstract) (BC), pp. 190–196.

ICALP-1989-Cardone #bound #quantifier #recursion #relational #semantics

Relational Semantics for Recursive Types and Bounded Quantification (FC), pp. 164–178.

LICS-1988-BruceL #bound #inheritance #quantifier

A Modest Model of Records, Inheritance and Bounded Quantification (KBB, GL), pp. 38–50.

SIGIR-1971-Kuhn #quantifier #query

Quantification in Query Systems (JLK), pp. 81–93.