Stem remark$ (all stems)

22 papers:

HCI-IT-2015-MacKenzie #throughput

Fitts’ Throughput and the Remarkable Case of Touch-Based Target Selection (ISM), pp. 238–249.

DLT-2011-RestivoV #automaton

Some Remarks on Automata Minimality (AR, RV), pp. 15–27.

AFL-J-2008-ManeaMY10

Some Remarks on the Hairpin Completion (FM, VM, TY), pp. 859–872.

DLT-2009-ManeaMS

Some Remarks on Superposition Based on Watson-Crick-Like Complementarity (FM, VM, JMS), pp. 372–383.

AFL-2008-ManeaMY

Some Remarks on the Hairpin Completion (FM, VM, TY), pp. 302–313.

KR-2004-McCarthy #reasoning

Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription (JM0), pp. 738–739.

DLT-2002-DiekertK #equation #polynomial

A Remark about Quadratic Trace Equations (VD, MK), pp. 59–66.

DLT-2002-Imreh #automaton

Some Remarks on Asynchronous Automata (BI), pp. 290–296.

LICS-2002-FioreCB #morphism #λ-calculus

Remarks on Isomorphisms in Typed λ Calculi with Empty and Sum Types (MPF, RDC, VB), p. 147–?.

ICPR-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.

TAGT-1998-Drewes #generative #power of

Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars (FD), pp. 1–14.

DLT-1997-Dassow

Some Remarks on Extended Reular Languages (JD), pp. 477–488.

DLT-1997-Ilie #order #word

Remarks on Well Quasi Orders of Words (LI), pp. 399–409.

DLT-1993-Fernau #parallel #strict

Remarks on Adult Languages of Propagating Systems with Restricted Parallelism (HF), pp. 90–101.

CSL-1988-VoigtW

A Remark on Minimal Polynomials of Boolean Functions (BV, IW), pp. 372–383.

JICSCP-1988-Kunen88 #database

Some Remarks on the Completed Database (KK), pp. 978–992.

SIGIR-1984-Zarri #information retrieval

Some Remarks About the Inference Techniques of RESEDA, an “Intelligent” Information Retrieval System (GPZ), pp. 281–300.

PODS-1982-JaeschkeS #algebra #normalisation

Remarks on the Algebra of Non First Normal Form Relations (GJ, HJS), pp. 124–138.

PS-1981-Guttag #effectiveness #specification

A few Remarks on Putting Formal Specifications to Productive Use (JVG), pp. 370–380.

STOC-1977-Miller #graph #morphism

Graph Isomorphism, General Remarks (GLM), pp. 143–150.

DIPL-1976-London #design #verification

Remarks on the impact of program verification on language design (RLL), pp. 313–320.

SIGIR-1973-Dockery #problem

Remarks on Tactical Computer Problems (JTD), p. 176.