3605 search results - page 551 / 721 » Associated types with class |
172
click to vote
SEMCO
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
137
click to vote
ICNS
2009
IEEE
15 years 11 months ago
2009
IEEE
Now that smart phones can interact with computers through various interface technologies such as Bluetooth, infrared, or the 802.11 family of IEEE specifications, they are workin...
132
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we present a new approach for labeling 3D points with different geometric surface primitives using a novel feature descriptor – the Fast Point Feature Histogram...
109
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
149
click to vote
AMI
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes fall detection, activity recognition and the detection of anomalous gait in the Confidence project. The project aims to prolong the independence of the elderly...