4762 search results - page 746 / 953 » About the use of protein models |
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
117
click to vote
WACV
2005
IEEE
15 years 7 months ago
2005
IEEE
The paper describes a video tracking system that tracks and analyzes the behavioral pattern of users in a public space. We have obtained important statistical measurements about u...
ACMACE
2005
ACM
15 years 7 months ago
2005
ACM
In conventional, visual narrative media such as film, the placement and movement of the camera can be as important a device as the events of the narrative in conveying story and m...
117
click to vote
IUI
2005
ACM
15 years 7 months ago
2005
ACM
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
ICCSA
2005
Springer
15 years 7 months ago
2005
Springer
Cryo-electron microscopy has recently been recognized as a useful alternative to obtain three-dimensional density maps of macromolecular complexes, especially when crystallography ...