20441 search results - page 364 / 4089 » Locally Computable Structures |
158
click to vote
CAV
2007
Springer
16 years 6 days ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
154
click to vote
ESOP
2007
Springer
16 years 6 days ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
170
click to vote
GFKL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A method for measuring the density of data sets that contain an unknown number of clusters of unknown sizes is proposed. This method, called Pareto Density Estimation (PD...
179
click to vote
IPMI
1993
Springer
15 years 10 months ago
1993
Springer
Thispaperdescribesatechniqueforbuildingcompactmodelsoftheshapeandappearance offlexibleobjects(suchasorgans)seenin2-Dimages. Themodelsarederivedfromthestatisticsof setsof labelled i...
166
click to vote
CIKM
2005
Springer
15 years 8 months ago
2005
Springer
We consider the general problem of tracking moving objects in sensor networks. The specific application we consider is that of tracking a chemical plume moving over a large infra...