Sciweavers

899 search results - page 140 / 180
» fast 2009
Sort
View
MHCI
2009
Springer
15 years 4 months ago
Using semantic descriptions for adaptive mobile games UIs
Mobile devices became powerful recently and wireless Internet access is becoming standard. One important class of networked, mobile applications are location based games, making e...
Pascal Bihler, Holger Mügge, Mark Schmatz, Ar...
MIRAGE
2009
Springer
15 years 4 months ago
Flash Lighting Space Sampling
Flash light of digital cameras is a very useful way to picture scenes with low quality illumination. Nevertheless, especially low-end cameras integrated flash lights are considere...
Matteo Dellepiane, Marco Callieri, Massimiliano Co...
PKDD
2009
Springer
129views Data Mining» more  PKDD 2009»
15 years 4 months ago
RTG: A Recursive Realistic Graph Generator Using Random Typing
We propose a new, recursive model to generate realistic graphs, evolving over time. Our model has the following properties: it is (a) flexible, capable of generating the cross pro...
Leman Akoglu, Christos Faloutsos
PPDP
2009
Springer
15 years 4 months ago
Model-checking higher-order functions
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
Naoki Kobayashi
SCIA
2009
Springer
132views Image Analysis» more  SCIA 2009»
15 years 4 months ago
Instant Action Recognition
In this paper, we present an efficient system for action recognition from very short sequences. For action recognition typically appearance and/or motion information of an action ...
Thomas Mauthner, Peter M. Roth, Horst Bischof