Sciweavers

4372 search results - page 9 / 875
» Data Semantics Revisited
Sort
View
ERLANG
2004
ACM
14 years 1 months ago
Erlang's exception handling revisited
This paper describes the new exception handling in the Erlang programming language, to be introduced in the forthcoming Release 10 of the Erlang/OTP system. We give a comprehensiv...
Richard Carlsson, Björn Gustavsson, Patrik Ny...
ISMVL
2010
IEEE
161views Hardware» more  ISMVL 2010»
13 years 9 months ago
Revisiting Ultraproducts in Fuzzy Predicate Logics
—In this paper we examine different possibilities of defining reduced products and ultraproducts in fuzzy predicate logics. We present analogues to the Łos Theorem for these no...
Pilar Dellunde
IJWGS
2010
116views more  IJWGS 2010»
13 years 5 months ago
Constructing Feature Vectors for search: investigating intrinsic quality impact on search performance
Abstract: In this paper, we revisit our approach to construction of semanticlinguistic Feature Vectors (FVs) used to enhance Web search. These FVs are built based on domain semanti...
Stein L. Tomassen, Darijus Strasunskas
CORR
2000
Springer
132views Education» more  CORR 2000»
13 years 7 months ago
Uniform semantic treatment of default and autoepistemic logics
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
Marc Denecker, Victor W. Marek, Miroslaw Truszczyn...