MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Formalization of Viewpoints." – sorted by Relevance.

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

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

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

ATOM

A Formalization of Viewpoints
by Giuseppe Attardi , Maria Simi — 1995 — FUNDAMENTA INFORMATICAE
…A Formalization of Viewpoints Giuseppe Attardi y Maria Simi z TR-93-062 October, 1993 Abstract…
Cited by 32 (3 self) – Add To MetaCart

Towards Establishing an Inventory of Surface-Syntactic Relations: Valency-Controlled Surface-Syntactic Dependents of the Verb in French
by Iordanskaja And Mel'uk, L. Iordanskaja, Observatory Of Meaning-text Linguistics
… representation assumed by the theory and the corresponding notions. From a formal viewpoint, a SSyntRel r is a…
Add To MetaCart

Multiobjective design optimization of real-life devices in electrical engineering: a cost
by P. Di Barba, M. Farina, A. Savini — 2001 — Lecture notes in Computer Science
… multicriteria design problems.From a formal viewpoint, a multicriteria problem is cast as follows: subject…
Cited by 4 (3 self) – Add To MetaCart

Learning Generalized Quantifiers
by Christophe Costa Florêncio, Christophe Costa Flor Encio
… not be clear what quantified expressions refer to. It is also a challenge from a formal viewpoint, since…
Cited by 1 (0 self) – Add To MetaCart

Non-Determinism in Deductive Databases
by Fosca Giannotti, Dino Pedreschi, Domenico Saccà, Carlo Zaniolo — 1991 — In Proc. 2nd Int. Conf. on Deductive and Object-Oriented Databases
… to one (arbitrarily chosen) choice model. From a formal viewpoint, however, the meaning of any given…
Cited by 37 (21 self) – Add To MetaCart

Dual Decomposition in Stochastic Integer Programming
by Claus C. Carøe, Rüdiger Schultz — 1997 — Operations Research Letters
… this section by showing that, from a formal viewpoint, the above approach can be readily extended to multi…
Cited by 38 (2 self) – Add To MetaCart

B.: Validating Behavioral Component Interfaces in Rewriting Logic
by Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen — 2005 — Electronic Notes in Theoretical Computer Science, 159, May 2006, 187–204, Proceedings of the IPM International Workshop on Foundations of Software Engineering (FSEN
…, it can come equipped with multiple interfaces. This section presents a formalism for viewpoints based…
Cited by 4 (3 self) – Add To MetaCart

Formal Specification And Verification Of A Network Independent Atomic Multicast Protocol
by M. Baptista, S. Graf, J-L. Richier, C. Rodriguez, C. Rodriguez, P. Veríssimo, J. Voiron — 1991
…, while preserving the standard functionality. However, from a formal viewpoint, AMp relies on a network…
Cited by 7 (7 self) – Add To MetaCart

Compilation and Reuse of Knowledge in Diagnosis of Discrete-Event Systems
by Gianfranco Lamperti, Marina Zanella
….5 Problem solution From a formal viewpoint, the solution of a diagnostic problem ℘(Ψ) depends on Ψ0, V, O…
Add To MetaCart

Searching for Rhythms in Asynchronous Random Boolean Networks
by Ezequiel A. Di Paolo — Alife VII: Proceedings of the Seventh International Conference
… from a formal viewpoint, and also possibly from a practical one, or it will use some version…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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