4211 search results - page 765 / 843 » Types as Abstract Interpretations |
179
click to vote
CAISE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
193
click to vote
INFOCOM
2007
IEEE
16 years 11 days ago
2007
IEEE
Abstract— We consider the scenario of distributed data aggregation in wireless sensor networks, where each sensor can obtain and estimate the information of the whole sensing fi...
211
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We propose a methodology for recognizing actions at a distance by watching the human poses and deriving descriptors that capture the motion patterns of the poses. Human p...
191
click to vote
AI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we test some of the most commonly used classifiers to identify which ones are the most robust to changing environments. The environment may change over tim...
192
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Curves and natural frames can be used for describing and controlling motion in both biological and engineering contexts (e.g., pursuit and formation control). The geomet...