11168 search results - page 1564 / 2234 » Abstract State Processes |
179
click to vote
IWDW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In image authentication watermarking, hidden data is inserted into an image to detect any accidental or malicious image alteration. In the literature, quite a small numbe...
212
Voted
KMGOV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. For electronic government initiatives to succeed, in addition to modernising the front office, attention should be also paid in order to streamline, reorganise and suppor...
186
click to vote
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
201
click to vote
MOZ
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
222
click to vote
NLDB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Extracting information automatically from texts for database representation requires previously well-grouped phrases so that entities can be separated adequately. This pr...