Sciweavers

4052 search results - page 557 / 811
» Using RDF to describe networks
Sort
View
WINET
2002
166views more  WINET 2002»
15 years 6 months ago
The Anatomy of a Context-Aware Application
We describe a platform for context-aware computing which enables applications to follow mobile users as they move around a building. The platform is particularly suitable for rich...
Andy Harter, Andy Hopper, Pete Steggles, Andy Ward...
MR
2007
66views Robotics» more  MR 2007»
15 years 6 months ago
Test structures for dielectric spectroscopy of thin films at microwave frequencies
This work describes the application of two different test structures to execute broadband microwave measurements of the dielectric constant of ceramic thin films. Coplanar wavegui...
Nicola Delmonte, B. E. Watts, G. Chiorboli, P. Cov...
ICPR
2010
IEEE
15 years 5 months ago
Data-Driven Lung Nodule Models for Robust Nodule Detection in Chest CT
The quality of the lung nodule models determines the success of lung nodule detection. This paper describes aspects of our data-driven approach for modeling lung nodules using the...
Amal Farag, James Graham, Aly A. Farag
PVLDB
2010
119views more  PVLDB 2010»
15 years 5 months ago
An Architecture for Parallel Topic Models
This paper describes a high performance sampling architecture for inference of latent topic models on a cluster of workstations. Our system is faster than previous work by over an...
Alexander J. Smola, Shravan Narayanamurthy
FORMATS
2010
Springer
15 years 4 months ago
A Framework for Verification of Software with Time and Probabilities
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
Marta Z. Kwiatkowska, Gethin Norman, David Parker