Stem occur$ (all stems)

15 papers:

HCI-UC-2013-KawabeIN #predict

A Refuge Location Prediction System for When a Tsunami Has Occurred (AK, TI, YN), pp. 295–300.

STOC-2012-AgrawalSSS #bound

Jacobian hits circuits: hitting-sets, lower bounds for depth-D occur-k formulas & depth-3 transcendence degree-k circuits (MA, CS, RS, NS), pp. 599–614.

ICSE-2009-TreudeS09a #named #timeline

ConcernLines: A timeline view of co-occurring concerns (CT, MADS), pp. 575–578.

ICST-2009-WaliaC #fault #modelling

Evaluating the Effect of the Number of Naturally Occurring Faults on the Estimates Produced by Capture-Recapture Models (GSW, JCC), pp. 210–219.

SAC-2005-BeigbederM #fuzzy #information retrieval #proximity #using

An information retrieval model using the fuzzy proximity degree of term occurences (MB, AM), pp. 1018–1022.

ICPR-v4-2002-MoriyamaKCXAGI #automation #behaviour #recognition

Automatic Recognition of Eye Blinking in Spontaneously Occurring Behavior (TM, TK, JFC, JX, ZA, JG, HI), p. 78–?.

HCI-CCAD-1999-TakanoSS #behaviour #simulation

Intellectual simulation of operating team behavior in coping with anomalies occurring at commercial nuclear power plants (KT, WS, KS), pp. 1201–1205.

SAS-1996-CrnogoracKS #comparison

A Comparison of Three Occur-Check Analysers (LC, ADK, HS), pp. 159–173.

PLILP-1992-AptP #problem #why

Why the Occur-Check is Not a Problem (KRA, AP), pp. 69–86.

PLDI-1991-Bertot #debugging #specification

Occurences in Debugger Specifications (YB), pp. 327–337.

ISLP-1991-DeransartFT #source code

NSTO Programs (Not Subject to Occur-Check) (PD, GF, MT), pp. 533–547.

ICALP-1988-Weijland #logic programming #semantics #source code

Semantics for Logic Programs without Occur Check (WPW), pp. 710–726.

ESOP-1986-Sondergaard #abstract interpretation #logic programming #reduction #source code

An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction (HS), pp. 327–338.

SLP-1984-Plaisted84 #problem #prolog

The Occur-Check Problem in Prolog (DAP), pp. 272–280.

SIGMOD-1976-DaleD

Schema and Occurence Structure Transformations in Hierarchical Systems (AGD, NBD), pp. 157–168.