MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Semantic Independence." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

407 documents found, showing 1 through 10. Next 10 →

ATOM

On the Semantics of Informational Independence
by Jouko Väänänen, Jouko Vaananen — 2000 — Logic Journal of the IGPL
…On the semantics of informational independence Jouko Vaananen May 22, 2000 Abstract The semantics…
Cited by 9 (0 self) – Add To MetaCart

Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure
by Patrick Cousot, Radhia Cousot — 1995
… Abstract. We present a language and semantics-independent, compositional and inductive method…
Cited by 19 (7 self) – Add To MetaCart

Independent Choices and the Interpretation of IF Logic
by Theo M. V. Janssen — 2002 — Journal of Logic, Language and Information
… that Hintikka’s game theoretical semantics for Independence Friendly logic does not formalize the intuitions…
Cited by 2 (0 self) – Add To MetaCart

Developing Consensus
by Ontologies For The, Larry M. Stephens, Aurovinda K. Gangam, Michael N. Huhns
… fragments, representing the semantics of the independent sources, can be related to each other automatically…
Add To MetaCart

The Set and Function Approach to Modeling Authorization in Distributed Systems
by Tatyana Ryutov, Clifford Neuman — 2001 — In Proceedings of the Workshop on Mathematical Methods and Models and Architecture for Computer Networks Security
… and providing computable semantics. In our model, authorization is given a precise semantics independent…
Cited by 6 (2 self) – Add To MetaCart

Encoding CNFs to Empower Component Analysis
by Mark Chavira, Adnan Darwiche — In Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT
… may hide existing semantic independence, leading to unnecessary variable splitting. Moreover, we show…
Cited by 2 (1 self) – Add To MetaCart

Interoperability adaptors for distributed information search on the web
by Ruben Tous, Jaime Delgado — 2003 — In Proceedings of the International Conference on Electronic Publishing 2003. (ElPub
… or other areas with well defined search and retrieval standards are. Simplicity, semantic-independence…
Cited by 3 (1 self) – Add To MetaCart

Simple Consequence Relations
by Arnon Avron — 1991 — Information and Computation
…, semantics-independent classification of standard connectives via equations on consequence relations (these…
Cited by 85 (15 self) – Add To MetaCart

The Ficus Scalable File System
by Gerald Popek, Thomas Page, Dieter Rothmeier, Wai Mak, Students John Heidemann, Yuguang Wu, Dr. Thomas, Richard Guy — 1991
… guaranteeing no lost updates semantics. Independent, uncoordinated, concurrent update to distinct replicas…
Add To MetaCart

Using View-Based Models to Formalize Architecture Description
by Kurt Lichtner, Paulo S. C. Alencar, Donald Cowan — 1998 — Third International Software Architecture Workshop, ISAW-3
… and formalizing each semantically independent concept, or view, represented in an ADL. Along with the approach, we…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB