8450 search results - page 17 / 1690 » Interactively Modeling with Photogrammetry |
COMSIS
2010
13 years 5 months ago
2010
Abstract. This paper proposes an accelerometer-based gesture recognition algorithm. As a pre-process procedure, raw data output by accelerometer should be quantized, and then use d...
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
DIMVA
2011
12 years 11 months ago
2011
Abstract. High-interaction honeyclients are the tools of choice to detect malicious web pages that launch drive-by-download attacks. Unfortunately, the approach used by these tools...
ENTCS
2010
13 years 5 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
COMPLEX
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. We investigate a spin model in which a ferromagnetic shortrange interaction competes with a long-range antiferromagnetic interaction decaying spatially as 1 rd+ , d being...