72 search results - page 1 / 15 » Functional Notation for Indexed Concepts |
WFLP
2000
Springer
13 years 9 months ago
2000
Springer
BMAS
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
ASWEC
2007
IEEE
13 years 12 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
CIKM
2006
Springer
13 years 9 months ago
2006
Springer
In this paper, we explore the concept of a "library of brain images", which implies not only a repository of brain images, but also efficient search and retrieval mechan...
APAL
2000
13 years 5 months ago
2000
It is shown how to restrict recursion on notation in all finite types so as to characterize the polynomial time computable functions. The restrictions are obtained by using a rami...