Sciweavers

43 search results - page 2 / 9
» tr 2010
Sort
View
ESWS
2010
Springer
13 years 8 months ago
TrOWL: Tractable OWL 2 Reasoning Infrastructure
The Semantic Web movement has led to the publication of thousands of ontologies online. These ontologies present and mediate information and knowledge on the Semantic Web. Tools ex...
Edward Thomas, Jeff Z. Pan, Yuan Ren
MICCAI
2010
Springer
13 years 3 months ago
Tracked Ultrasound Elastography (TrUE)
Abstract. This paper presents a robust framework for freehand ultrasound elastography to cope with uncertainties of freehand palpation using the information from an external tracke...
Pezhman Foroughi, Hassan Rivaz, Ioana Fleming, Gre...
TRUST
2010
Springer
13 years 3 months ago
Key Attestation from Trusted Execution Environments
Abstract. Credential platforms implemented on top of Trusted Execution Environments3 (TrEEs) allow users to store and use their credentials, e.g., cryptographic keys or user passwo...
Kari Kostiainen, Alexandra Dmitrienko, Jan-Erik Ek...
AMC
2010
92views more  AMC 2010»
13 years 5 months ago
When is the numerical range of a nilpotent matrix circular?
The problem formulated in the title is investigated. The case of nilpotent matrices of size at most 4 allows a unitary treatment. The numerical range of a nilpotent matrix M of siz...
Valentin Matache, Mihaela T. Matache
TR
2010
204views Hardware» more  TR 2010»
13 years 4 days ago
Anomaly Detection Through a Bayesian Support Vector Machine
This paper investigates the use of a one-class support vector machine algorithm to detect the onset of system anomalies, and trend output classification probabilities, as a way to ...
Vasilis A. Sotiris, Peter W. Tse, Michael Pecht