2496 search results - page 421 / 500 » Error-detecting properties of languages |
115
click to vote
SIGGRAPH
2010
ACM
15 years 6 months ago
2010
ACM
Geodesic curves in surfaces are not only minimizers of distance, but they are also the curves of zero geodesic (sideways) curvature. It turns out that this property makes patterns...
LCPC
2001
Springer
15 years 6 months ago
2001
Springer
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...
LCTRTS
2001
Springer
15 years 6 months ago
2001
Springer
Computers are increasingly being incorporated in devices with a limited amount of available memory. As a result research is increasingly focusing on the automated reduction of pro...
MIS
2001
Springer
15 years 6 months ago
2001
Springer
Because digital images are not meaningful by themselves, images are often coupled with some descriptive or qualitative data in an image database. Moreover the division of these da...
APSEC
2000
IEEE
15 years 6 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...