Sciweavers

2688 search results - page 101 / 538
» A formal semantics for P3P
Sort
View
COLING
1996
15 years 7 months ago
Compositional Semantics in Verbmobil
The paper discusses how compositional semantics is implemented in the Verbmobil speech-to-speech translation system using LUD, a description language for underspecified discourse ...
Johan Bos, Björn Gambäck, Christian Lies...
ENTCS
2007
96views more  ENTCS 2007»
15 years 6 months ago
Semantics of Biological Regulatory Networks
The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a...
Gilles Bernot, Franck Cassez, Jean-Paul Comet, Fra...
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
15 years 10 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
HICSS
2002
IEEE
130views Biometrics» more  HICSS 2002»
15 years 11 months ago
A Set Theory Based Approach on Applying Domain Semantics to XML Structures
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
Wolfgang Schuetzelhofer, Karl M. Göschka
WWW
2008
ACM
16 years 7 months ago
A logical framework for modeling and reasoning about semantic web services contract
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
Hai Liu, Qing Li, Naijie Gu, An Liu