Sciweavers

2086 search results - page 331 / 418
» Mathematical Theory Exploration
Sort
View
COMPGEOM
2009
ACM
14 years 2 months ago
Approximate center points with proofs
We present the Iterated-Tverberg algorithm, the first deterministic algorithm for computing an approximate centerpoint of a set S ∈ Rd with running time sub-exponential in d. T...
Gary L. Miller, Donald Sheehy
EICS
2009
ACM
14 years 2 months ago
Engineering crowd interaction within smart environments
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
Michael D. Harrison, Mieke Massink, Diego Latella
HT
2009
ACM
14 years 2 months ago
Weblog as a personal thinking space
While weblogs have been conceptualised as personal thinking spaces since their early days, those uses have not been studied in detail. The purpose of this paper is to explore how ...
Lilia Efimova
HAPTICS
2007
IEEE
14 years 2 months ago
T-PaD: Tactile Pattern Display through Variable Friction Reduction
In this paper we discuss the theory, design and construction of a haptic display for creating texture sensations through variations in surface friction. Ultrasonic frequency, low ...
Laura Winfield, John Glassmire, J. Edward Colgate,...
ICDCS
2007
IEEE
14 years 2 months ago
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Guoqiang Shu, David Lee