Sciweavers

4902 search results - page 287 / 981
» Multi-agent Systems Methodology
Sort
View
BIRTHDAY
2008
Springer
15 years 8 months ago
Unfolding Graph Transformation Systems: Theory and Applications to Verification
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
Paolo Baldan, Andrea Corradini, Barbara König
ECIS
2000
15 years 8 months ago
Systems Development of Organizational Memory: A Literature Survey
Currently, there is no commonly accepted methodology for developing organizational memory systems (OM) that is comprehensive in the sense that it guides the development process fr...
Dov Te'eni, Hadas Weinberger
158
Voted
COLING
2010
15 years 1 months ago
Toward Qualitative Evaluation of Textual Entailment Systems
This paper presents a methodology for a quantitative and qualitative evaluation of Textual Entailment systems. We take advantage of the decomposition of Text Hypothesis pairs into...
Elena Cabrio, Bernardo Magnini
CDC
2008
IEEE
239views Control Systems» more  CDC 2008»
16 years 1 months ago
Construction of Lyapunov-Krasovskii functional for time-varying delay systems
This paper provides some new techniques to construct a LyapunovKrasovskii functional for time varying delay systems. The construction is based on a partitioning scheme of the time...
Yassine Ariba, Frédéric Gouaisbaut
SUM
2007
Springer
16 years 24 days ago
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
Mónica Caniupán Marileo, Leopoldo E....