3384 search results - page 214 / 677 » More Testable Properties |
NAR
1998
13 years 9 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...
ICFEM
2009
Springer
13 years 8 months 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...
TMI
2011
13 years 5 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 ...
110
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....
CVPR
2009
IEEE
15 years 5 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...