Sciweavers

3047 search results - page 555 / 610
» A Temporal Consensus Model
Sort
View
FMICS
2010
Springer
15 years 2 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
MM
2010
ACM
336views Multimedia» more  MM 2010»
15 years 1 months ago
Movie genre classification via scene categorization
This paper presents a method for movie genre categorization of movie trailers, based on scene categorization. We view our approach as a step forward from using only low-level visu...
Howard Zhou, Tucker Hermans, Asmita V. Karandikar,...
GISCIENCE
2010
Springer
215views GIS» more  GISCIENCE 2010»
15 years 1 months ago
Microtheories for Spatial Data Infrastructures - Accounting for Diversity of Local Conceptualizations at a Global Level
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
Stephanie Duce, Krzysztof Janowicz
HUC
2010
Springer
15 years 1 months ago
Social sensing for epidemiological behavior change
An important question in behavioral epidemiology and public health is to understand how individual behavior is affected by illness and stress. Although changes in individual behav...
Anmol Madan, Manuel Cebrián, David Lazer, A...
CGA
2008
15 years 1 months ago
Depth-of-Field Blur Effects for First-Person Navigation in Virtual Environments
This paper studies the use of visual blur effects, i.e., blurring of parts of the image fed back to the user, for First-Person-Navigations in Virtual Environments (VE). First, we ...
Sébastien Hillaire, Anatole Lécuyer,...