3090 search results - page 452 / 618 » Document Processing with LinkIT |
147
Voted
ILP
2004
Springer
16 years 12 days ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
199
click to vote
IWDW
2004
Springer
16 years 12 days 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...
180
Voted
IWDW
2004
Springer
16 years 12 days ago
2004
Springer
This paper presents a new method for robust data hiding in curves and highlights potential applications including digital fingerprinting of map document for trace and track purpos...
171
Voted
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
16 years 11 days ago
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
157
Voted
RE
2004
Springer
16 years 11 days ago
2004
Springer
Assumptions are frequently made during requirements analysis of a system-to-be about the trustworthiness of its various components (including human components). These trust assump...