2673 search results - page 164 / 535 » Guided Static Analysis |
116
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
A general framework is presented for the design and analysis of cobot controllers. Cobots are inherently passive robots intended for direct collaborative work with a human operator...
152
click to vote
NICSO
2010
Springer
15 years 8 months ago
2010
Springer
t] Based on the mutation matrix formalism and past statistics of genetic algorithm, a Markov Chain transition probability matrix is introduced to provide a guided search for comple...
131
click to vote
AAAI
2000
15 years 5 months ago
2000
We analyze a corpus of referring expressions collected from user interactions with a multimodal travel guide application. The analysis suggests that, in dramatic contrast to norma...
118
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
111
click to vote
CIVR
2006
Springer
15 years 8 months ago
2006
Springer
This paper deals with the problem of estimating the effort required to maintain a static pose by human beings. The problem is important in developing effective pose classification ...