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:
some (9)
complet (3)
languag (3)
isomorph (2)
grammar (2)

Stem remark$ (all stems)

22 papers:

HCIHCI-IT-2015-MacKenzie #throughput
Fitts’ Throughput and the Remarkable Case of Touch-Based Target Selection (ISM), pp. 238–249.
DLTDLT-2011-RestivoV #automaton
Some Remarks on Automata Minimality (AR, RV), pp. 15–27.
Some Remarks on the Hairpin Completion (FM, VM, TY), pp. 859–872.
Some Remarks on Superposition Based on Watson-Crick-Like Complementarity (FM, VM, JMS), pp. 372–383.
Some Remarks on the Hairpin Completion (FM, VM, TY), pp. 302–313.
KRKR-2004-McCarthy #reasoning
Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription (JM0), pp. 738–739.
DLTDLT-2002-DiekertK #equation #polynomial
A Remark about Quadratic Trace Equations (VD, MK), pp. 59–66.
DLTDLT-2002-Imreh #automaton
Some Remarks on Asynchronous Automata (BI), pp. 290–296.
LICSLICS-2002-FioreCB #morphism #λ-calculus
Remarks on Isomorphisms in Typed λ Calculi with Empty and Sum Types (MPF, RDC, VB), p. 147–?.
ICPRICPR-v4-2000-TakahashiSO #3d #estimation #image #realtime #using
Remarks on a Real-Time 3D Human Body Posture Estimation Method Using Trinocular Images (KT, TS, JO), pp. 4693–4697.
ICGTTAGT-1998-Drewes #generative #power of
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars (FD), pp. 1–14.
Some Remarks on Extended Reular Languages (JD), pp. 477–488.
DLTDLT-1997-Ilie #order #word
Remarks on Well Quasi Orders of Words (LI), pp. 399–409.
DLTDLT-1993-Fernau #parallel #strict
Remarks on Adult Languages of Propagating Systems with Restricted Parallelism (HF), pp. 90–101.
A Remark on Minimal Polynomials of Boolean Functions (BV, IW), pp. 372–383.
ICLPJICSCP-1988-Kunen88 #database
Some Remarks on the Completed Database (KK), pp. 978–992.
SIGIRSIGIR-1984-Zarri #information retrieval
Some Remarks About the Inference Techniques of RESEDA, an “Intelligent” Information Retrieval System (GPZ), pp. 281–300.
PODSPODS-1982-JaeschkeS #algebra #normalisation
Remarks on the Algebra of Non First Normal Form Relations (GJ, HJS), pp. 124–138.
FMPS-1981-Guttag #effectiveness #specification
A few Remarks on Putting Formal Specifications to Productive Use (JVG), pp. 370–380.
STOCSTOC-1977-Miller #graph #morphism
Graph Isomorphism, General Remarks (GLM), pp. 143–150.
AdaDIPL-1976-London #design #verification
Remarks on the impact of program verification on language design (RLL), pp. 313–320.
SIGIRSIGIR-1973-Dockery #problem
Remarks on Tactical Computer Problems (JTD), p. 176.

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.