Sciweavers

7715 search results - page 663 / 1543
» Visual Rules Modeling
Sort
View
NC
1998
170views Neural Networks» more  NC 1998»
15 years 8 months ago
Neural Network Supported Adaptation in Case-based Reasoning
: This paper describes a system, which integrates Neural Network (NN) models into adaptation circle of Case-based Reasoning (CBR) system. Neural Network supported adaptation can pr...
Yain-Whar Si, Otakar Babka
AAAI
1990
15 years 8 months ago
Inductive Synthesis of Equational Programs
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
Nachum Dershowitz, Eli Pinchover
184
Voted
FUIN
2008
101views more  FUIN 2008»
15 years 7 months ago
Translation of Intermediate Language to Timed Automata with Discrete Data
The aim of this work is to describe the translation from Intermediate Language, one of the input formalisms of the model checking platform VerICS, to timed automata with discrete d...
Agata Janowska, Pawel Janowski, Dobieslaw Wr&oacut...
JOT
2006
105views more  JOT 2006»
15 years 7 months ago
Improving the Use of Multiplicity in UML Association
Through the incorporation of derived classes and associations in class diagrams, this paper proposes a method to improve the specification power of multiplicity for n-ary associat...
Hee Beng Kuan Tan, Yong Yang, Lei Bian
ACL
2012
13 years 9 months ago
Higher-order Constituent Parsing and Parser Combination
This paper presents a higher-order model for constituent parsing aimed at utilizing more local structural context to decide the score of a grammar rule instance in a parse tree. E...
Xiao Chen, Chunyu Kit