4211 search results - page 765 / 843 » Types as Abstract Interpretations |
139
Voted
CAISE
2010
Springer
15 years 12 days 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...
147
Voted
INFOCOM
2007
IEEE
15 years 10 months 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...
168
click to vote
ACCV
2010
Springer
14 years 10 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...
152
Voted
AI
2010
Springer
14 years 10 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...
149
Voted
CDC
2010
IEEE
14 years 10 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...