counter check

Definitions

  • WordNet 3.6
    • n counter check a blank check provided by a bank for the convenience of customers who are making withdrawals
    • ***

Usage

In literature:

This as counter-check to his tendency to flee, leaving me in sole charge.
"The Land of Footprints" by Stewart Edward White
His tweeds, in a neat package, he checked at the parcel counter.
"Where the Blue Begins" by Christopher Morley
Kennon kept checking the radiation counter.
"The Lani People" by J. F. Bone
Then I looked again at the image in the niche, and the pendulum of my faith was suddenly checked in its counter-swing.
"The Strolling Saint" by Raphael Sabatini
Well, I have made my preparations to counter-check.
"The Gates of Chance" by Van Tassel Sutphen
At the station, she purchased a ticket for Seattle and checked her trunk at the baggage-room counter.
"Kindred of the Dust" by Peter B. Kyne
He went to the counter, checked in, and they told him his plane would take off on time.
"Ten From Infinity" by Paul W. Fairman
Chase was at the counter checking off the packages as I put them in the pouch.
"The Expressman and the Detective" by Allan Pinkerton
His more violent friends attempted to check the counter-current, but in vain.
"Washington and the American Republic, Vol. 3." by Benson J. Lossing
He solicitously led Milt to the hat-checking counter.
"Free Air" by Sinclair Lewis
The "counter-check quarrelsome" would have been welcome enough.
"Captain Desmond, V.C." by Maud Diver
Is there any counter-tendency that limits self-assertion and holds it in check?
"Psychology" by Robert S. Woodworth
They continued work, checking the radar equipment, the photon counters, cameras, the temperature-sensing devices, and myriad other instruments.
"The Scarlet Lake Mystery" by Harold Leland Goodwin
As a kind of counter-check to Sir Henry, Washington had for some days been planning the recapture of Stony Point and Fort Lafayette.
"The Student's Life of Washington; Condensed from the Larger Work of Washington Irving" by Washington Irving
It is, to some extent, a counter-check.
"A Noble Name" by Claire Von Glümer
A number of German counter-attacks on July 24, 25 and 30 and August 1 failed to check its advance.
"Rheims and the Battles for its Possession" by Various
Disintegrating tendencies manifested themselves without counter-check.
"The Social Evolution of the Argentine Republic" by Ernesto Quesada
Lamb saw it all from over by the counter of the baggage-checking room.
"Hooded Detective, Volume III No. 2, January, 1942" by Various
I shall not bore you with a description of the printed forms, the checks and counter checks that accompany the delivery of milady's package.
"The Romance of a Great Store" by Edward Hungerford
It was to be check and counter-check on both sides.
"A Sovereign Remedy" by Flora Annie Steel
***

In news:

Lined up banners are seen at a city check-in counter of Cathay Pacific Airways in downtown Hong Kong August 8, 2012 REUTERS/Bobby Yip.
Standing impatiently on a line that snakes toward a check-in counter or security area at an airport, you have no doubt seen people like us: one passenger in a wheelchair.
Melanie Popovich found today's Countdown recipe for Bayou Sausage Jambalaya in a Pillsbury cookbook at the grocery check-out counter.
The cruise line has opened check-in counters at Concourses D and H, to handle passengers arriving the day of their sailing, says Carnival spokesman Vance Gulliksen.
Nurse Practitioner Diane Resnik stands at a counter to log in health records at the Goshen Community Schools health clinic, while Kirsten Housholder, nurse/manager checks on patient schedules.
) I always check my change and gave the young cash register server at the counter $20.32.
Once your kit is assembled, remember to check it each year at the start of boating season and replace any over-the-counter first-aid medications that are past their expiration date.
United Airline employees help passengers at the check-in counter in Terminal 1 at Chicago O'Hare International Airport.
Before you hit the cosmetics counters for your new scent, check out our break down.
Currently, taxpayers must use cash or check either via mail or by walking up to the counter in the Village Hall to cover their balance.
It hits stores later this month, which I guess means we should head for the check out counter now.
***

In science:

However, the exact element of the group currently contained in the counter is not available to the finite control: it can only check whether it is the identity element or not.
Generalized Counters and Reversal Complexity
Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known complexity upper bound for the latter problem is made of a tower of several exponentials.
Taming Past LTL and Flat Counter Systems
Our NP upper bound extends known and recent results on model-checking weak Kripke structures with LTL formulae as well as reachability problems for flat counter systems.
Taming Past LTL and Flat Counter Systems
This is not the end of the story since decidability of reachability problems or model-checking problems based on temporal logics, can be regained by considering subclasses of counter systems (this includes restrictions on the instructions, on the control graphs or on more semantical properties).
Taming Past LTL and Flat Counter Systems
In , a class of Presburger counter systems is identified for which the local model checking problem for Presburger-CTL⋆ is shown decidable.
Taming Past LTL and Flat Counter Systems
Moreover, in model-checking relational counter systems over LTL formulae is shown decidable when restricted to flat formulae (their translation into automata leads to flat structures).
Taming Past LTL and Flat Counter Systems
Towards the complexity of temporal model-checking flat counter systems.
Taming Past LTL and Flat Counter Systems
In , it is shown that CTL⋆ model-checking over the class of so-called admissible counter systems is decidable by reduction into the satisfiability problem for Presburger arithmetic, the decidable first-order theory of natural numbers with addition.
Taming Past LTL and Flat Counter Systems
In this paper, we establish several computational complexity characterizations of model-checking problems restricted to flat counter systems in the presence of a rich LTL-like specification language with arithmetical constraints and past-time operators.
Taming Past LTL and Flat Counter Systems
We show that the model-checking problem restricted to flat counter systems in the presence of LTL with past-time operators is in NP (Theorem 7.4) by combining the above-mentioned proof techniques (we call this problem MC(PLTL[C], CF S )).
Taming Past LTL and Flat Counter Systems
The verification problem we are interested in is the model-checking problem for PLTL[C] over counter systems, written MC(L, C ), where L is a fragment of PLTL[C] and C is a class of counter systems.
Taming Past LTL and Flat Counter Systems
It is known that for the full class of counter systems, the model-checking problem is undecidable; this is due to the fact that reachability of a control state is undecidable for counter systems manipulating at least two counters .
Taming Past LTL and Flat Counter Systems
This is the case for flat counter systems, for whom it is proved in that the model-checking problem of some temporal logic more expressive than PLTL[C] is decidable.
Taming Past LTL and Flat Counter Systems
So, all our nondeterministic algorithms to solve model-checking problems on flat counter systems have a preliminary step that first guesses a minimal path schema.
Taming Past LTL and Flat Counter Systems
In order to check whether the ith bit of counter xi is one, we add repeatedly 2n+1−i to the counter.
Taming Past LTL and Flat Counter Systems
***