165 search results - page 33 / 33 » Directed Model Checking for B: An Evaluation and New Techniq... |
WWW
2009
ACM
14 years 6 months ago
2009
ACM
Social media websites promote diverse user interaction on media objects as well as user actions with respect to other users. The goal of this work is to discover community structu...
CVPR
1997
IEEE
13 years 9 months ago
1997
IEEE
Multiple images of a scene are related through 20/3D view transformations and linear and non-linear camera transformations. In all the traditional techniques to compute these tran...
BMCBI
2010
13 years 5 months ago
2010
Background: A reliable extraction technique for resolving multiple spots in light or electron microscopic images is essential in investigations of the spatial distribution and dyn...
AROBOTS
2002
13 years 5 months ago
2002
Abstract. We describe a new method for representing human movement compactly, in terms of a linear superimposition of simpler movements termed primitives. This method is a part of ...
BMCBI
2007
13 years 5 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...