8828 search results - page 1498 / 1766 » Formal methods in practice |
170
click to vote
BSN
2009
IEEE
15 years 12 months ago
2009
IEEE
— Activity monitoring is an important part of pervasive sensing, particularly for assessing activities of daily living for elderly patients and those with chronic diseases. Previ...
155
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
—In order for Semantic Web applications to be successful a key component should be their ability to take advantage of rich content descriptions in meaningful ways. Reasoning cons...
174
click to vote
HT
2010
ACM
15 years 11 months ago
2010
ACM
Users on Twitter, a microblogging service, started the phenomenon of adding tags to their messages sometime around February 2008. These tags are distinct from those in other Web 2...
169
click to vote
CA
2002
IEEE
15 years 11 months ago
2002
IEEE
Motion capture can be an effective method of creating realistic human motion for animation. Unfortunately, the quality demands for animation place challenging demands on a capture...
183
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
One promising approach to more effective software development is the concept of product platform originated from mechanical engineering, aiming at architectural product families i...