Sciweavers

598 search results - page 65 / 120
» Independence Semantics for BKBs
Sort
View
130
Voted
FUIN
2008
81views more  FUIN 2008»
15 years 3 months ago
A Cancellation Theorem for BCCSP
This paper presents a cancellation theorem for the preorders in van Glabbeek's linear time-branching time spectrum over BCCSP. Apart from having some intrinsic interest, the p...
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...
110
Voted
IJCINI
2007
66views more  IJCINI 2007»
15 years 3 months ago
Language, Logic, and the Brain
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...
Ray E. Jennings
142
Voted
DL
1999
Springer
166views Digital Library» more  DL 1999»
15 years 8 months ago
Semantic Indexing for a Complete Subject Discipline
As part of the Illinois Digital Library Initiative (DLI) project we developed “scalable semantics” technologies. These statistical techniques enabled us to index large collect...
Yi-Ming Chung, Qin He, Kevin Powell, Bruce R. Scha...
183
Voted
ECOWS
2009
Springer
15 years 7 months ago
Service-Based Semantic Search in P2P Systems
—Recently, Semantic Web Services have been increasingly adopted to search, access and manipulate information made available from autonomous and heterogeneous systems interacting ...
Devis Bianchini, Valeria De Antonellis, Michele Me...
PAKDD
1999
ACM
124views Data Mining» more  PAKDD 1999»
15 years 8 months ago
Discovery of Equations and the Shared Operational Semantics in Distributed Autonomous Databases
Empirical equations are an important class of regularities that can be discovered in databases. In this paper we concentrate on the role of equations as de nitions of attribute val...
Zbigniew W. Ras, Jan M. Zytkow