counter check


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


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

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