Sciweavers

7715 search results - page 314 / 1543
» Visual Rules Modeling
Sort
View
COR
2006
83views more  COR 2006»
15 years 6 months ago
Modelling and solving English Peg Solitaire
Peg Solitaire is a well known puzzle which can prove difficult despite its simple rules. Pegs are arranged on a board such that at least one `hole' remains. By making draught...
Christopher Jefferson, Angela Miguel, Ian Miguel, ...
ICTAI
2006
IEEE
16 years 22 days ago
Intelligent Optimization via Learnable Evolution Model
A new method for optimizing complex functions and systems is described that employs Learnable Evolution Model (LEM), a form of non-Darwinian evolutionary computation guided by mac...
Ryszard S. Michalski, Janusz Wojtusiak, Kenneth A....
IJCNN
2006
IEEE
16 years 22 days ago
Complex Systems Modeling Using Scale-Free Highly-Clustered Echo State Network
— 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...
Zhidong Deng, Yi Zhang
FASE
2001
Springer
15 years 11 months ago
A Logic for the Java Modeling Language JML
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 ...
Bart Jacobs, Erik Poll
ECAI
2008
Springer
15 years 8 months ago
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
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. ...
Matthias Knorr, José Júlio Alferes, ...