1228 search results - page 65 / 246 » Continuations, proofs and tests |
BMVC
2010
13 years 6 months ago
2010
Structured Light Plethysmography (SLP) is a novel non-invasive method that uses structured light to perform pulmonary function testing that does not require physical contact with ...
ACMSE
2004
ACM
14 years 1 months ago
2004
ACM
Notification interfaces that continuously present peripheral information have received increasing interest within the HCI community, especially those supporting awareness of other...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
We have built a system for protecting Internet services to securely connected, known users. It implements a generate-and-test approach for on-line attack identification and uses s...
SIAMCO
2000
13 years 7 months ago
2000
In this work we prove the generic simplicity of the spectrum of the clamped plate equation in a bounded regular domain of Rd. That is, given Rd, we show that there exists an arbi...
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...