677 search results - page 56 / 136 » Rigorous Object-Oriented Analysis |
129
click to vote
CHI
1997
ACM
15 years 4 months ago
1997
ACM
the changing roles of participants in a musical improvisation and synchronously generate appropriate contributions of its own. Musical improvisation is a collaborative activity ana...
93
Voted
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
Tensor based dimensionality reduction has recently been extensively studied for computer vision applications. To our knowledge, however, there exist no rigorous error analysis on ...
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
112
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
92
Voted
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...