4752 search results - page 755 / 951 » From computation models to models of provenance: the RWS app... |
138
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
117
click to vote
BIBE
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract-- In eukaryotic cells, genomic DNAs wrap around beadlike molecules, called nucleosomes, so as to pack more compactly in the nucleus of the cell. The nucleosome is made up ...
128
Voted
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
Computer vision has traditionally focused on extracting structure, such as depth, from images acquired using thin-lens or pinhole optics. The development of computational imaging i...
132
click to vote
CGI
2009
IEEE
15 years 5 months ago
2009
IEEE
Despite the clear benefits that stream and path surfaces bring when visualizing 3D vector fields, their use in both industry and for research has not proliferated. This is due, in...
110
click to vote
CHI
2009
ACM
16 years 2 months ago
2009
ACM
Conversation Clusters explores the use of visualization to highlight salient moments of live conversation while archiving a meeting. Cheaper storage and easy access to recording d...