4372 search results - page 598 / 875 » Data Semantics Revisited |
170
click to vote
ADAEUROPE
2001
Springer
15 years 10 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
172
click to vote
PKDD
2001
Springer
15 years 10 months ago
2001
Springer
In some domains, Information Extraction (IE) from texts requires syntactic and semantic parsing. This analysis is computationally expensive and IE is potentially noisy if it applie...
143
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
200
click to vote
CC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
143
click to vote
IDMS
1998
Springer
15 years 10 months ago
1998
Springer
We apply the concept of network-consciousness to image compression, an approach that does not simply optimize compression, but which optimizes overall performance when compressed i...