Sciweavers

828 search results - page 11 / 166
» On Order Dependencies for the Semantic Web
Sort
View
SEMWEB
2009
Springer
15 years 4 months ago
Axiomatic First-Order Probability
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
Kathryn B. Laskey
80
Voted
OOPSLA
2007
Springer
15 years 3 months ago
Dependent classes
Dependent Classes Vaidas Gasiunas and Mira Mezini Technische Universit¨at Darmstadt, Germany Abstract. Dependent classes are parameterized classes, the interface and implementatio...
Vaidas Gasiunas, Mira Mezini, Klaus Ostermann
FSTTCS
2006
Springer
15 years 1 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
83
Voted
ICDE
2006
IEEE
134views Database» more  ICDE 2006»
15 years 3 months ago
Improving Quality of Ontology: An Ontology Transformation Approach
Ontologies are used to give meaning to resources on the Semantic Web and therefore the Semantic Web’s success in integrating and providing interoperability between different sou...
Farhad Mostowfi, Farshad Fotouhi
EWMF
2005
Springer
15 years 3 months ago
Introducing Semantics in Web Personalization: The Role of Ontologies
Web personalization is the process of customizing a web site to the needs of each specific user or set of users. Personalization of a web site may be performed by the provision of ...
Magdalini Eirinaki, Dimitrios Mavroeidis, George T...