9521 search results - page 1431 / 1905 » Compiling with continuations, continued |
178
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
175
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We describe a new approach to fit the polyhedron describing a 3D building model to the point cloud of a Digital Elevation Model (DEM). We introduce a new kinetic framework that hi...
171
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Intrusion detection systems have become a key component in ensuring the safety of systems and networks. As networks grow in size and speed continues to increase, it is crucial tha...
221
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We continue the line of research on graph compression started in [BV04], but we move our focus to the compression of social networks in a proper sense (e.g., LiveJournal): the app...
181
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This work considers the problem of quickest detection with N distributed sensors that receive sequential observations either in discrete or in continuous time from the environment....