Sciweavers

1716 search results - page 122 / 344
» Generating models for temporal representations
Sort
View
139
Voted
DEXAW
2006
IEEE
127views Database» more  DEXAW 2006»
15 years 10 months ago
History Checking of XML Data Streams
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
Alessandro Campi, Paola Spoletini
UML
2004
Springer
15 years 9 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
ASAP
2006
IEEE
89views Hardware» more  ASAP 2006»
15 years 7 months ago
Polyhedral Modeling and Analysis of Memory Access Profiles
In this paper, we propose to model memory access profile information as loop nests exhibiting useful characteristics on the memory behavior, such as periodicity, linearly linked m...
Philippe Clauss, Bénédicte Kenmei
SYNASC
2007
IEEE
119views Algorithms» more  SYNASC 2007»
15 years 10 months ago
Graph Rewriting and Strategies for Modeling Biochemical Networks
In this paper, we present a rewriting framework for modeling molecular complexes, biochemical reaction rules, and generation of biochemical networks based on the representation of...
Oana Andrei, Hélène Kirchner
131
Voted
NAACL
2010
15 years 1 months ago
Coreference Resolution in a Modular, Entity-Centered Model
Coreference resolution is governed by syntactic, semantic, and discourse constraints. We present a generative, model-based approach in which each of these factors is modularly enc...
Aria Haghighi, Dan Klein