Sciweavers

Share
ECMDAFA
2011
Springer
246views Hardware» more  ECMDAFA 2011»
8 years 7 months ago
Incremental Updates for View-Based Textual Modelling
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
Thomas Goldschmidt, Axel Uhl
GRAMMARS
1998
111views more  GRAMMARS 1998»
9 years 3 months ago
Quantitative Comparison of Languages
From the perspective of the linguist, the theory of formal languages serves as an abstract model to address issues such as complexity, learnability, information content, etc. which...
András Kornai
ALIFE
1998
9 years 3 months ago
Evolution of Linguistic Diversity in a Simple Communication System
This article reports on the current state of our efforts to shed light on the origin and evolution of linguistic diversity using synthetic modeling and arti cial life es. We constr...
Takaya Arita, Yuhji Koyama
FUIN
2007
116views more  FUIN 2007»
9 years 3 months ago
Path Compression in Timed Automata
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
Agata Janowska, Wojciech Penczek
IJON
2006
160views more  IJON 2006»
9 years 3 months ago
Attractor dynamics in a modular network model of the cerebral cortex
ional models of cortical associative memory often take a top-down approach. We have previously described such an abstract model with a hypercolumnar structure. Here we explore a s...
Mikael Lundqvist, Martin Rehn, Anders Lansner
CGA
2006
9 years 3 months ago
Declarative Optimization-Based Drama Management in Interactive Fiction
takes place in an abstract model, connected to therealgamebypassingmessagesbackandforth,asFigure2illustrates.ThegametellstheDMwhenplotpoints occur, and the DM tells the game when i...
Mark J. Nelson, Michael Mateas, David L. Roberts, ...
ENTCS
2008
110views more  ENTCS 2008»
9 years 3 months ago
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...
Peter Selinger, Benoît Valiron
CORR
2010
Springer
130views Education» more  CORR 2010»
9 years 3 months ago
The roundtable: an abstract model of conversation dynamics
dtable: An Abstract Model of Conversation Dynamics Journal of Artificial Societies and Social Simulation 13 (4) 2 <http://jasss.soc.surrey.ac.uk/13/4/2.html> Received: 09-Dec...
Massimo Mastrangeli, Martin Schmidt, Lucas Lacasa
FOIS
2010
9 years 5 months ago
Foundations for an Ontology of Environment and Habitat
Abstract. The paper examines the semantics of the terms `environment' and `habitat' and presents a semi-formalised ontological framework in which these concepts are relat...
Brandon Bennett
EUSAI
2007
Springer
9 years 5 months ago
A Compiler for the Smart Space
Developing applications for smart spaces is a challenging task. Most programming systems narrowly focus on the embedded computer infrastructure and neglect the spatial aspect of th...
Urs Bischoff, Gerd Kortuem
books