BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
check (6)
program (3)
problem (2)
degre (2)
concern (2)

Stem occur$ (all stems)

15 papers:

HCIHCI-UC-2013-KawabeIN #predict
A Refuge Location Prediction System for When a Tsunami Has Occurred (AK, TI, YN), pp. 295–300.
STOCSTOC-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.
ICSEICSE-2009-TreudeS09a #named #timeline
ConcernLines: A timeline view of co-occurring concerns (CT, MADS), pp. 575–578.
ICSTICST-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.
SACSAC-2005-BeigbederM #fuzzy #information retrieval #proximity #using
An information retrieval model using the fuzzy proximity degree of term occurences (MB, AM), pp. 1018–1022.
ICPRICPR-v4-2002-MoriyamaKCXAGI #automation #behaviour #recognition
Automatic Recognition of Eye Blinking in Spontaneously Occurring Behavior (TM, TK, JFC, JX, ZA, JG, HI), p. 78–?.
HCIHCI-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.
SASSAS-1996-CrnogoracKS #comparison
A Comparison of Three Occur-Check Analysers (LC, ADK, HS), pp. 159–173.
PPDPPLILP-1992-AptP #problem #why
Why the Occur-Check is Not a Problem (KRA, AP), pp. 69–86.
PLDIPLDI-1991-Bertot #debugging #specification
Occurences in Debugger Specifications (YB), pp. 327–337.
ICLPISLP-1991-DeransartFT #source code
NSTO Programs (Not Subject to Occur-Check) (PD, GF, MT), pp. 533–547.
ICALPICALP-1988-Weijland #logic programming #semantics #source code
Semantics for Logic Programs without Occur Check (WPW), pp. 710–726.
ESOPESOP-1986-Sondergaard #abstract interpretation #logic programming #reduction #source code
An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction (HS), pp. 327–338.
ICLPSLP-1984-Plaisted84 #problem #prolog
The Occur-Check Problem in Prolog (DAP), pp. 272–280.
Schema and Occurence Structure Transformations in Hierarchical Systems (AGD, NBD), pp. 157–168.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.