3384 search results - page 214 / 677 » More Testable Properties |
134
click to vote
NAR
1998
15 years 2 months ago
1998
The PROMISE (Prosthetic centres and metal ions in protein active sites) database aims to gather together comprehensive sequence, structural, functional and bibliographic informati...
131
click to vote
ICFEM
2009
Springer
15 years 29 days ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
123
click to vote
TMI
2011
14 years 10 months ago
2011
—The 4D extended Cardiac-Torso (XCAT) phantom was developed to provide a realistic and flexible model of the human anatomy and cardiac and respiratory motions for use in medical ...
308
click to vote
Book
"Spatial structures and spatial reasoning are essential to perception and cognition. Much
day-to-day practical information is about what happens at certain spatial locations....
152
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Burstiness, a phenomenon initially observed in text re-
trieval, is the property that a given visual element appears
more times in an image than a statistically independent
mode...