Sciweavers

2830 search results - page 105 / 566
» No Science without Semantics
Sort
View
HICSS
2006
IEEE
90views Biometrics» more  HICSS 2006»
15 years 8 months ago
Text Understanding Agents and the Semantic Web
— We discuss the challenges involved in adapting the OntoSem natural language processing system to the Web. One set of tasks involves processing Web documents, translating their ...
Akshay Java, Tim Finin, Sergei Nirenburg
114
Voted
LICS
2005
IEEE
15 years 8 months ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
119
Voted
JUCS
2010
133views more  JUCS 2010»
15 years 29 days ago
Knowledge Authoring with ORE: Testing, Debugging and Validating Knowledge Rules in a Semantic Web Framework
Abstract: Ontology rule editing, testing, debugging and validation are still handcrafted and painful tasks. Nowadays, there is a lack of tools that take these tasks into considerat...
Andrés Muñoz Ortega, Jose M. Alcaraz...
CVIU
2011
14 years 6 months ago
A comparative study of object-level spatial context techniques for semantic image analysis
Abstract—In this paper, three approaches to utilizing objectlevel spatial contextual information for semantic image analysis are presented and comparatively evaluated. Contextual...
Georgios Th. Papadopoulos, Carsten Saathoff, Hugo ...
HICSS
2006
IEEE
146views Biometrics» more  HICSS 2006»
15 years 8 months ago
Contextual e-Negotiation for the Handling of Private Data in e-Commerce on a Semantic Web
In this paper, we describe data support in an information system to support contextual, online negotiation of privacy contracts for e-commerce on the Semantic Web. Context is impo...
Yingxin (Sheila) He, Dawn N. Jutla