Sciweavers

3545 search results - page 268 / 709
» Computational methods for case-cohort studies
Sort
View
CHI
2009
ACM
16 years 7 months ago
Spectator understanding of error in performance
The development of computer-based devices for music control has created a need to study how spectators understand new performance technologies and practices. As a part of a larger...
A. Cavan Fyans, Michael Gurevich, Paul Stapleton
CHI
2005
ACM
16 years 7 months ago
Engaging the city: public interfaces as civic intermediary
This two-day workshop will advance discussion on the role of public interfaces in engaging citizens within the urban context. The aim is to determine how technology can help to de...
Michele F. Chang, Katrina Jungnickel, Chet Orloff,...
DCC
2008
IEEE
16 years 6 months ago
Explicit constructions for perfect hash families
Let k, v, t be integers such that k v t 2. A perfect hash family PHF(N; k, v, t) can be defined as an N ? k array with entries from a set of v symbols such that every N ?t suba...
Sosina Martirosyan, Tran van Trung
SOFSEM
2010
Springer
16 years 3 months ago
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test
We study Vector Addition Systems with States (VASS) extended in such a way that one of the manipulated integer variables can be tested to zero. For this class of system, it has bee...
Alain Finkel, Arnaud Sangnier
SOFSEM
2009
Springer
16 years 3 months ago
The Shortcut Problem - Complexity and Approximation
During the last years, speed-up techniques for DIJKSTRA’s algorithm have been developed that make the computation of shortest paths a matter of microseconds even on huge road net...
Reinhard Bauer, Gianlorenzo D'Angelo, Daniel Delli...