1977 search results - page 172 / 396 » Representing Views in XML |
191
click to vote
ISMIS
1994
Springer
15 years 10 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
199
click to vote
TYPES
1995
Springer
15 years 10 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
158
click to vote
WSC
2008
15 years 8 months ago
2008
The exchange of data between different models in a multisimulation environment is about the exchange of information from within the context of two separate worldviews. This amount...
168
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
This paper explores the use of alternating sequential patterns of local features and saccading actions to learn robust and compact object representations. The temporal encoding rep...
142
click to vote
COLING
2000
15 years 7 months ago
2000
We propose an algorithm for the trausfer of packed linguistic structures, that is, finite collections of labelled graphs which share certain subparts. A labelled graph is seen as ...