4814 search results - page 651 / 963 » Combining abstract interpreters |
203
click to vote
HCI
2009
15 years 3 months ago
2009
Abstract. Interactive Game-Based Learning might be used to raise the awareness of students concerning questions of sustainability. Sustainability is a very complex topic. By intera...
176
click to vote
ICB
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We present a novel approach for human gait recognition that inherently combines appearance and motion. Dynamic texture descriptors, Local Binary Patterns from Three Ortho...
168
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
170
click to vote
ICIAR
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. In this paper we propose a method for automating the process of detecting regions of motion in a video sequence in real time. The main idea of this work is to detect moti...
153
click to vote
CONSTRAINTS
2010
15 years 2 months ago
2010
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...