Sciweavers

3119 search results - page 223 / 624
» General Default Logic
Sort
View
SPIESR
1996
141views Database» more  SPIESR 1996»
15 years 6 months ago
Describing and Classifying Multimedia Using the Description Logic GRAIL
Many applications would benefit if media objects such as images could be selected and classified (or clustered) such that "conceptually similar" images are grouped toget...
Carole A. Goble, Christian Haul, Sean Bechhofer
IANDC
2007
133views more  IANDC 2007»
15 years 5 months ago
On decidability of monadic logic of order over the naturals extended by monadic predicates
A fundamental result of Büchi states that the set of monadic second-order formulas true in the structure (Nat, <) is decidable. A natural question is: what monadic predicates ...
Alexander Rabinovich
ISCI
2007
74views more  ISCI 2007»
15 years 5 months ago
One-and-only item recommendation with fuzzy logic techniques
act 11 Recommender systems anticipate users’ needs by suggesting items that are likely to interest them. Most existing systems 12 employ collaborative filtering (CF) techniques,...
Chris Cornelis, Jie Lu, Xuetao Guo, Guanquang Zhan...
119
Voted
FMSD
2002
81views more  FMSD 2002»
15 years 5 months ago
A Notation and Logic for Mobile Computing
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
Gruia-Catalin Roman, Peter J. McCann
IJAR
2010
91views more  IJAR 2010»
15 years 3 months ago
Logical and algorithmic properties of stable conditional independence
The logical and algorithmic properties of stable conditional independence (CI) as an alternative structural representation of conditional independence information are investigated...
Mathias Niepert, Dirk Van Gucht, Marc Gyssens