289 search results - page 38 / 58 » A Tour with Constructive Real Numbers |
168
Voted
LICS
1998
IEEE
15 years 7 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
146
click to vote
FOCS
1994
IEEE
15 years 7 months ago
1994
IEEE
Let S be a set of n points in IRd and let t > 1 be a real number. A t-spanner for S is a directed graph having the points of S as its vertices, such that for any pair p and q o...
131
click to vote
WSC
2008
15 years 6 months ago
2008
US military forces now face asymmetric military operations. Management of relationships with civilians is often crucial to success. Local population groups can provide critical in...
142
Voted
FPL
2008
Springer
15 years 5 months ago
2008
Springer
An approach is presented for high throughput matching of regular expressions (regexes) by first converting them into corresponding Non-deterministic Finite Automata (NFAs) which a...
146
click to vote
CIMAGING
2010
15 years 5 months ago
2010
The goal of anomalous change detection (ACD) is to identify what unusual changes have occurred in a scene, based on two images of the scene taken at different times and under diff...