4123 search results - page 256 / 825 » Multiple Relational Embedding |
188
click to vote
IH
2001
Springer
15 years 11 months ago
2001
Springer
Many steganographic systems are weak against visual and statistical attacks. Systems without these weaknesses offer only a relatively small capacity for steganographic messages. T...
157
click to vote
CHARME
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
172
Voted
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
A new approach is proposed to generate workflow scenarios of scientific applications such as Molecular Dynamics and Monte-Carlo simulations in a distributed environment. The approa...
174
click to vote
SPLC
2004
15 years 8 months ago
2004
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
178
click to vote
AAAI
1997
15 years 8 months ago
1997
This paper argues that complex, embedded software agent systems are best constructed with parallel, layered architectures. These systems resemble Minskian Societies of Mind and Br...