Sciweavers

5699 search results - page 339 / 1140
» Alternating model trees
Sort
View
FBT
1998
129views Formal Methods» more  FBT 1998»
15 years 9 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz
IJCAI
1989
15 years 8 months ago
Beyond PDP: The Frequency Modulation Neural Network Architecture
This paper proposes the Frequency Modulation Neural Network as an alternative to current neuralnet models. This proposal is for an architecture of a heterogeneous neural-network i...
Hideto Tomabechi, Hiroaki Kitano
CP
2009
Springer
15 years 5 months ago
The Proper Treatment of Undefinedness in Constraint Languages
Any sufficiently complex finite-domain constraint modelling language has the ability to express undefined values, for example division by zero, or array index out of bounds. This p...
Alan M. Frisch, Peter J. Stuckey
AGI
2011
14 years 11 months ago
Measuring Agent Intelligence via Hierarchies of Environments
Under Legg’s and Hutter’s formal measure [1], performance in easy environments counts more toward an agent’s intelligence than does performance in difficult environments. An ...
Bill Hibbard
IACR
2011
124views more  IACR 2011»
14 years 7 months ago
Efficient Multicast Key Distribution Using HOWF-based Access Control Structures
— Both broadcast encryption (BE) protocols and multicast key distribution (MKD) protocols try to solve the same problem of private group communication. For the first time, we dis...
Jing Liu, Qiong Huang, Bo Yang