782 search results - page 135 / 157 » Can a Parser be Generated from Examples |
126
Voted
VIZSEC
2005
Springer
15 years 9 months ago
2005
Springer
The massive amount of alarm data generated from intrusion detection systems is cumbersome for network system administrators to analyze. Often, important details are overlooked and...
182
Voted
DEM
2001
Springer
15 years 8 months ago
2001
Springer
A common concern of the real−time terrain visualisation of today is the lack of geometric detail, when the terrain model is studied close enough. This is primary not a problem of...
128
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
: We consider a class of point processes, which we call sub-Poisson; these are point processes that can be directionallyconvexly (dcx) dominated by some Poisson point process. The ...
168
Voted
WECWIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Service portals are systems which expose a bundle of web services to the user, allowing the specification and subsequent execution of complex tasks defined over these individual...
105
Voted
FSTTCS
1993
Springer
15 years 7 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...