3206 search results - page 41 / 642 » Functional Variant Modeling for Adaptable Functional Network... |
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
SASN
2005
ACM
14 years 1 months ago
2005
ACM
Pairwise key establishment is a fundamental service provided in secure sensor networks. However, due to resource constraints, establishing pairwise keys is not a trivial task. Rec...
AB
2008
Springer
14 years 2 months ago
2008
Springer
A specific class of ODEs has been shown to be adequate to describe the essential features of the complex dynamics of Gene-Regulatory Networks (GRN). But, the effective exploitatio...
ESANN
2007
13 years 9 months ago
2007
Abstract. Using radial basis function networks for function approximation tasks suffers from unavailable knowledge about an adequate network size. In this work, a measuring techni...