Sciweavers

1734 search results - page 92 / 347
» What works
Sort
View
ICIP
2008
IEEE
14 years 11 months ago
Evaluation and benchmark for biological image segmentation
This paper describes ongoing work on creating a benchmarking and validation dataset for biological image segmentation. While the primary target is biological images, we believe th...
Elisa Drelie Gelasca, Jiyun Byun, Boguslaw Obara, ...
FMSD
1998
77views more  FMSD 1998»
13 years 8 months ago
An Analysis of Bitstate Hashing
The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by reachability analyses for applications that defeat anal...
Gerard J. Holzmann
CHI
2007
ACM
14 years 9 months ago
Recent shortcuts: using recent interactions to support shared activities
We present an empirical study of teams that revealed the amount of extraneous individual work needed to enable collaboration: finding references to other people, finding files to ...
John C. Tang, James Lin, Jeffrey Pierce, Steve Whi...
ECAI
2010
Springer
13 years 10 months ago
Propagation of Opinions in Structural Graphs
Trust and reputation measures are crucial in distributed open systems where agents need to decide whom or what to choose. Existing work has mainly focused on the reputation of sing...
Nardine Osman, Carles Sierra, Jordi Sabater-Mir
ECEASST
2010
13 years 6 months ago
Graph Algebras for Bigraphs
In this talk we will present a new approach to deal with attributed graphs and attributed graph transformation. The approach is based on working with what we call symbolic graphs, ...
Davide Grohmann, Marino Miculan