1620 search results - page 270 / 324 » Testing Polymorphic Properties |
104
click to vote
SIGSOFT
2010
ACM
15 years 11 days ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
148
Voted
ASIAN
2009
Springer
15 years 10 days ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
139
click to vote
CIBCB
2009
IEEE
15 years 10 days ago
2009
IEEE
Reliable shape modeling and clustering of white matter fiber tracts is essential for clinical and anatomical studies that use diffusion tensor imaging (DTI) tractography techniques...
114
Voted
ICMCS
2009
IEEE
15 years 7 days ago
2009
IEEE
This paper presents the results of an empirical study suggesting that, while laughter is a very good indicator of amusement, the kind of laughter (unvoiced laughter vs.voiced laug...
134
Voted
ICMCS
2009
IEEE
15 years 7 days ago
2009
IEEE
In this paper a novel method for view independent human movement representation and recognition, exploiting the rich information contained in multi-view videos, is proposed. The bi...