Sciweavers

1341 search results - page 43 / 269
» Logic for Modeling Product Structure
Sort
View
SIGIR
1993
ACM
14 years 6 days ago
A Model of Information Retrieval Based on a Terminological Logic
According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a que...
Carlo Meghini, Fabrizio Sebastiani, Umberto Stracc...
CORR
2007
Springer
177views Education» more  CORR 2007»
13 years 8 months ago
N3Logic: A Logical Framework For the World Wide Web
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...
Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi ...
MMS
2008
13 years 8 months ago
Canonical processes in active reading and hypervideo production
Active reading of audiovisual documents is an iterative activity, dedicated to the analysis of the audiovisual source through its enrichment with structured metadata and the defin...
Olivier Aubert, Pierre-Antoine Champin, Yannick Pr...
CORR
1999
Springer
95views Education» more  CORR 1999»
13 years 7 months ago
Fixed-parameter tractability, definability, and model checking
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
Jörg Flum, Martin Grohe
CISIS
2010
IEEE
14 years 3 months ago
Integrating Production Automation Expert Knowledge Across Engineering Stakeholder Domains
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
Thomas Moser, Stefan Biffl, Wikan Danar Sunindyo, ...