2736 search results - page 69 / 548 » Understanding programmer language |
CAV
2004
Springer
15 years 3 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
CSFW
2003
IEEE
15 years 3 months ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
AI
1999
Springer
14 years 9 months ago
1999
Springer
We present an algorithm for producing behavior descriptions of planar fixed axes mechanical motions from image sequences using a formal behavior language. The language, which cove...
COLING
1992
14 years 11 months ago
1992
The main purpose of communication is to exchange information. Any discourse understanding model should be able to process the flow of information throughout the entire text. Accor...
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
The Cameron project has developed a language and compiler for mapping image-based applications to field programmable gate arrays (FPGAs). This paper tests this technology on sever...