Sciweavers

3081 search results - page 244 / 617
» A Formal Ontology of Properties
Sort
View
XSYM
2005
Springer
107views Database» more  XSYM 2005»
16 years 2 days ago
Logic Wrappers and XSLT Transformations for Tuples Extraction from HTML
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
Costin Badica, Amelia Badica
KES
2004
Springer
15 years 12 months ago
A Process Algebra Model of the Immune System
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
Raul Monroy
CAEPIA
2003
Springer
15 years 11 months ago
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
Alfredo Burrieza, Manuel Ojeda-Aciego
CONTEXT
2003
Springer
15 years 11 months ago
Context Dynamic and Explanation in Contextual Graphs
This paper discusses the dynamic of context through the use of a context-based formalism called contextual graphs that has been initially developed in the SART application for the ...
Patrick Brézillon
ERSHOV
2003
Springer
15 years 11 months ago
Combining Aspects of Reactive Systems
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
Leonid Kof, Bernhard Schätz