8555 search results - page 1333 / 1711 » Property Based Coordination |
221
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
211
click to vote
LATA
2009
Springer
16 years 2 months ago
2009
Springer
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...
197
click to vote
CEC
2009
IEEE
16 years 2 months ago
2009
IEEE
— Many real-world problems demand a feasible solution to satisfy physical equilibrium, stability, or certain properties which require an additional lower level optimization probl...
194
click to vote
CIDM
2009
IEEE
16 years 2 months ago
2009
IEEE
– Clustering is an important task in spatial data mining and spatial analysis. We propose a clustering algorithm P-DBSCAN to cluster polygons in space. PDBSCAN is based on the we...
194
click to vote
COMPSAC
2009
IEEE
16 years 2 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...