5606 search results - page 634 / 1122 » Randomization Techniques for Graphs. |
219
click to vote
SMI
2006
IEEE
16 years 1 months ago
2006
IEEE
There is a growing need to extract features from point sets for purposes like model classification, matching, and exploration. We introduce a technique for segmenting a point-sam...
203
click to vote
ICDCS
2005
IEEE
16 years 19 days ago
2005
IEEE
We consider distributed applications that continuously stream data across the network, where data needs to be aggregated and processed to produce a 'useful' stream of up...
194
click to vote
IPPS
2005
IEEE
16 years 18 days ago
2005
IEEE
We present an experimental study of parallel biconnected components algorithms employing several fundamental parallel primitives, e.g., prefix sum, list ranking, sorting, connect...
197
click to vote
ATAL
2005
Springer
16 years 17 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
205
click to vote
LPAR
2005
Springer
16 years 15 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...