Sciweavers

7952 search results - page 87 / 1591
» Methods for Measuring Usability
Sort
View
BMCBI
2005
120views more  BMCBI 2005»
15 years 7 months ago
Robust detection of periodic time series measured from biological systems
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...
Miika Ahdesmäki, Harri Lähdesmäki, ...
206
Voted
ENTCS
2008
101views more  ENTCS 2008»
15 years 7 months ago
Normalization for the Simply-Typed Lambda-Calculus in Twelf
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'...
Andreas Abel
210
Voted
CGF
2004
140views more  CGF 2004»
15 years 7 months ago
Measurement-Based Interactive Simulation of Viscoelastic Solids
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 ...
Jeffrey Schoner, Jochen Lang, Hans-Peter Seidel
198
Voted
MICCAI
2005
Springer
16 years 8 months ago
Segmentation and Size Measurement of Polyps in CT Colonography
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....
J. J. Dijkers, Cees van Wijk, Frans Vos, Jasper Fl...
194
Voted
IMC
2005
ACM
16 years 29 days ago
Novel Approaches to End-to-End Packet Reordering Measurement
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...
Xiapu Luo, Rocky K. C. Chang