Sciweavers

1085 search results - page 171 / 217
» Hug over a distance
Sort
View
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
13 years 11 months ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...
BMEI
2009
IEEE
13 years 11 months ago
Cell Clumping Quantification and Automatic Area Classification in Peripheral Blood Smear Images
Cell enumeration in peripheral blood smears and cell are widely applied in biological and pathological practice. Not every area in the smear is appropriate for enumeration due to ...
Wei Xiong, S. H. Ong, Christina Kang, Joo-Hwee Lim...
CLEF
2010
Springer
13 years 11 months ago
Cross-document Coreference for WePS
A good clustering performance depends on the quality of the distance function used to asses similarity. In this paper we propose a pairwise document coreference model to improve pe...
Iustin Dornescu, Constantin Orasan, Tatiana Lesnik...
HUC
2010
Springer
13 years 11 months ago
Serendipitous family stories: using findings from a study on family communication to share family history
Storytelling and sharing family histories are important parts of what it means to "be" a family. Based on results from a study on intergenerational communication over a ...
Frank R. Bentley, Sujoy Kumar Chowduhry
GD
2008
Springer
13 years 11 months ago
Rapid Multipole Graph Drawing on the GPU
Abstract. As graphics processors become powerful, ubiquitous and easier to program, they have also become more amenable to general purpose high-performance computing, including the...
Apeksha Godiyal, Jared Hoberock, Michael Garland, ...