Sciweavers

640 search results - page 49 / 128
» Semantic Relations: Modelling Issues, Proposals and Possible...
Sort
View
TASLP
2010
95views more  TASLP 2010»
14 years 8 months ago
A Modal-Based Real-Time Piano Synthesizer
—This paper presents a real-time piano synthesizer where both the transverse and longitudinal motion of the string is modeled by modal synthesis, resulting in a coherent and high...
Balázs Bank, Stefano Zambon, Federico Fonta...
CORR
2011
Springer
151views Education» more  CORR 2011»
14 years 1 months ago
A New Representation Theorem for Many-valued Modal Logics
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
Zoran Majkic
WEBDB
2009
Springer
100views Database» more  WEBDB 2009»
15 years 4 months ago
Towards Well-Behaved Schema Evolution
We study the problem of schema evolution in the RDF data model. RDF and the RDFS schema language are W3C standards for flexibly modeling and sharing data on the web. Although sch...
Rada Chirkova, George H. L. Fletcher
VMCAI
2009
Springer
15 years 4 months ago
Mixed Transition Systems Revisited
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
Ou Wei, Arie Gurfinkel, Marsha Chechik
MDAFA
2004
Springer
114views Hardware» more  MDAFA 2004»
15 years 3 months ago
Modeling in the Large and Modeling in the Small
Abstract. As part of the AMMA project (ATLAS Model Management Architecture), we are currently building several model management tools to support the tasks of modeling in the large ...
Jean Bézivin, Frédéric Jouaul...