4434 search results - page 232 / 887 » On the Composition of Hybrid Systems |
188
click to vote
ACL
2011
14 years 10 months ago
2011
Compositional question answering begins by mapping questions to logical forms, but training a semantic parser to perform this mapping typically requires the costly annotation of t...
150
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The goal is to build a general framework for ad hoc applications over large networks using semantics and complex systems analysis. The first part deals with semantics because appl...
170
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
162
click to vote
JUCS
2007
15 years 6 months ago
2007
Abstract: Knowledge management is characterized by many different activities ranging from the elicitation of knowledge to its storing, sharing, maintenance, usage and creation. Sk...
152
click to vote
SRDS
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper presents and compares Appia and Cactus, two frameworks for protocol composition. The comparison is based on the experience gained in implementing a faulttolerant Atomic ...