Sciweavers

17185 search results - page 87 / 3437
» Computational and Quantitative Studies
Sort
View
PODS
2009
ACM
170views Database» more  PODS 2009»
15 years 10 months ago
A general datalog-based framework for tractable query answering over ontologies
d Abstract) Andrea Cal`i2,1 , Georg Gottlob1,2 , and Thomas Lukasiewicz1, 1 Computing Laboratory, University of Oxford, UK firstname.lastname@comlab.ox.ac.uk 2 Oxford-Man Institute...
Andrea Calì, Georg Gottlob, Thomas Lukasiew...
CCA
2009
Springer
15 years 4 months ago
Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis
We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an ...
Hannes Diener, Peter Schuster
IPPS
2006
IEEE
15 years 3 months ago
Sim-X: parallel system software for interactive multi-experiment computational studies
Advances in high-performance computing have led to the broad use of computational studies in everyday engineering and scientific applications. A single study may require thousand...
Siu-Man Yau, Eitan Grinspun, Vijay Karamcheti, Den...
MHCI
2007
Springer
15 years 4 months ago
Gait alignment in mobile phone conversations
Conversation partners on mobile phones can align their walking gait without physical proximity or visual feedback. We investigate gait synchronization, measured by accelerometers ...
Roderick Murray-Smith, Andrew Ramsay, Simon Garrod...
CHI
2003
ACM
15 years 10 months ago
Paper or interactive?: a study of prototyping techniques for ubiquitous computing environments
We studied the effects of varying the fidelity and automation levels of a Ubicomp application prototype. Our results show that the interactive prototype captured the same usabilit...
Linchuan Liu, Peter Khooshabeh