3233 search results - page 175 / 647 » Rule Modeling and Markup |
136
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
— Inspired by the universal laws governing different kinds of complex networks, we propose a scale-free highlyclustered echo state network (SHESN). Different from echo state netw...
140
click to vote
FASE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
129
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. ...
118
Voted
EUSFLAT
2007
15 years 5 months ago
2007
This paper presents a fuzzy system approach to the prediction of nonlinear time series and dynamical systems based on a fuzzy model that includes its derivative information. The u...
125
click to vote
LOGCOM
2010
15 years 2 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...