2740 search results - page 346 / 548 » A Model-Based Approach To Requirements Analysis |
131
click to vote
ECCV
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. We present a geometric and statistical approach to gaitbased human recognition. The novelty here is to consider observations of gait, considered as planar silhouettes, to...
110
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
105
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
For many users with a disability it can be difficult or impossible to use a computer mouse to navigate the web. An alternative way to select elements on a web page is the label ty...
107
click to vote
ALT
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. We propose an independence criterion based on the eigenspectrum of covariance operators in reproducing kernel Hilbert spaces (RKHSs), consisting of an empirical estimate ...
125
click to vote
ECOOP
2009
Springer
15 years 10 months ago
2009
Springer
Modern development environments support refactoring by providing atomically behaviour-preserving transformations. While useful, these transformations are limited in three ways: (i)...