4502 search results - page 748 / 901 » Regular Model Checking |
139
click to vote
PODS
2007
ACM
16 years 5 months ago
2007
ACM
The pebble tree automaton and the pebble tree transducer are enhanced by additionally allowing an unbounded number of `invisible' pebbles (as opposed to the usual `visible�...
130
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
Activity monitoring, a crucial task in many applications, is often conducted expensively using video cameras. Also, effectively monitoring a large field by analyzing images from m...
161
click to vote
IDTRUST
2009
ACM
15 years 11 months ago
2009
ACM
Organizations owning cyber-infrastructure assets face large scale distributed attacks on a regular basis. In the face of increasing complexity and frequency of such attacks, we ar...
130
click to vote
CCGRID
2009
IEEE
15 years 11 months ago
2009
IEEE
The use of today’s multicluster grids exhibits periods of submission bursts with periods of normal use and even of idleness. To avoid resource contention, many users employ obse...
143
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
The word error rate of any optical character recognition system (OCR) is usually substantially below its component or character error rate. This is especially true of Indic langua...