1492 search results - page 251 / 299 » Testing Properties of Constraint-Graphs |
157
Voted
ASIAN
2009
Springer
15 years 1 months 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 ...
153
click to vote
CIBCB
2009
IEEE
15 years 1 months 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...
125
Voted
ICMCS
2009
IEEE
15 years 1 months 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...
143
Voted
ICMCS
2009
IEEE
15 years 1 months 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...
164
Voted
IJACTAICIT
2010
15 years 28 days ago
2010
In this work, a Modified Vector Field Histogram (MVFH) has been developed to improve path planning and obstacle avoidance for a wheeled driven mobile robot. It permits the detecti...