7952 search results - page 87 / 1591 » Methods for Measuring Usability |
111
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Periodic phenomena are widespread in biology. The problem of finding periodicity in biological time series can be viewed as a multiple hypothesis testing of the spectr...
140
click to vote
ENTCS
2008
15 years 3 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
126
click to vote
CGF
2004
15 years 2 months ago
2004
Animation of viscoelastic solids in entertainment and medical applications as well as scientific simulation can be improved through observations of real world objects. This paper ...
121
click to vote
MICCAI
2005
Springer
16 years 3 months ago
2005
Springer
Abstract. Virtual colonoscopy is a relatively new method for the detection of colonic polyps. Their size, which is measured from reformatted CT images, mainly determines diagnosis....
116
click to vote
IMC
2005
ACM
15 years 8 months ago
2005
ACM
By providing the best-effort service, the Internet Protocol (IP) does not maintain the same order of packets sent out by a host. Therefore, due to the route change, parallelism in...