7167 search results - page 191 / 1434 » A Technique for Invariant Generation |
221
click to vote
FIDJI
2003
Springer
16 years 11 days ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
208
click to vote
CGI
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a system to analyze the reachability of the human body. The inverse kinematics technique is employed to find which regions of space are reachable using a certa...
204
click to vote
NAACL
1994
15 years 8 months ago
1994
We present results ofexperiments designed to assess the usefulness of a new technique for the evaluation of translation quality, comparing human rankings with automatic measures. ...
202
click to vote
JVCA
2007
15 years 7 months ago
2007
Geographic maps have existed from early stages of human civilization. Various styles of visualizing the geographic information have evolved depending on the nature of information ...
198
click to vote
MANSCI
2011
15 years 2 months ago
2011
This article develops a method for drawing samples from which it is impossible to infer any quantile or moment of the underlying distribution. The method provides researchers with...