2830 search results - page 58 / 566 » No Science without Semantics |
133
Voted
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
XML is designed to facilitate data exchange between applications. However, XML and its schema languages do not express semantics but rather the document structure, such as the nes...
121
click to vote
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
This paper is a critical analysis of the concept of ontology thus as it is used in computing science. It identifies three main problems with such a concept, two of which are intri...
183
Voted
Book
"This book on applications of logic in the semantic analysis of language pays the
reader the compliment of not assuming anything about what he or she knows (in particular, no...
120
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
112
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a finite ω-complete axiomatization for the process algebra BCCSP modulo failure semantics, in case of a finite alphabet. This solves an open question by Gro...