4762 search results - page 746 / 953 » About the use of protein models |
137
click to vote
ISSTA
2006
ACM
16 years 14 days 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...
189
click to vote
WACV
2005
IEEE
16 years 3 days 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...
148
click to vote
ACMACE
2005
ACM
16 years 3 days 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...
194
click to vote
IUI
2005
ACM
16 years 2 days 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...
146
click to vote
ICCSA
2005
Springer
16 years 1 days 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 ...