Sciweavers

3717 search results - page 290 / 744
» Representing Multiple Theories
Sort
View
IJAR
2008
99views more  IJAR 2008»
15 years 6 months ago
Unifying practical uncertainty representations. II: Clouds
There exist many tools for capturing imprecision in probabilistic representations. Among them are random sets, possibility distributions, probability intervals, and the more recen...
Sébastien Destercke, Didier Dubois, Eric Ch...
ENTCS
2006
117views more  ENTCS 2006»
15 years 6 months ago
Interpreting SWRL Rules in RDF Graphs
An unresolved issue in SWRL (the Semantic Web Rule Language) is whether the intended semantics of its RDF representation can be described as an extension of the W3C RDF semantics....
Jing Mei, Harold Boley
ENTCS
2006
162views more  ENTCS 2006»
15 years 6 months ago
Continuous Functions on Final Coalgebras
It can be traced back to Brouwer that continuous functions of type StrA B, where StrA is the type of infinite streams over elements of A, can be represented by well founded, Abra...
Neil Ghani, Peter Hancock, Dirk Pattinson
IJDMB
2008
105views more  IJDMB 2008»
15 years 6 months ago
Temporal representation for gene networks: towards a qualitative temporal data mining
: Recently lots of studies aim at modeling and inferring gene networks. Modeling tools propose graphical models having almost nothing about time description of events and regards t...
Nicolas Turenne, Sylviane R. Schwer
175
Voted
JMLR
2006
78views more  JMLR 2006»
15 years 6 months ago
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...
Emanuel Kitzelmann, Ute Schmid