1864 search results - page 38 / 373 » Formal topology and domains |
INLG
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we present a reference generation model based on Reference Domain Theory which gives a dynamic account of reference. This reference model assumes that each referring...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
tope Abstract Domain Taylor1+ Khalil Ghorbal, Eric Goubault, and Sylvie Putot CEA, LIST, Modelisation and Analysis of Systems in Interaction, F-91191 Gif-sur-Yvette Cedex, France, ...
SIGDIAL
2010
13 years 7 months ago
2010
In this paper we present a reference model based on Reference Domain Theory that can work both in interpretation and generation. We introduce a formalization of key concepts of RD...
RECOMB
2007
Springer
14 years 10 months ago
2007
Springer
Abstract. Recent advances in high-throughput experimental techniques have enabled the production of a wealth of protein interaction data, rich in both quantity and variety. While t...
VIS
2007
IEEE
14 years 11 months ago
2007
IEEE
Analysis of materials obtained from physical simulations is important in the physical sciences. Our research was motivated by the need to investigate the properties of a simulated...