26 search results - page 1 / 6 » Advanced Neurocomputing Theory and Methodology |
IJON
2007
13 years 4 months ago
2007
PADL
2012
Springer
12 years 13 days ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
AI
2011
Springer
12 years 12 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
CORR
2011
Springer
12 years 8 months ago
2011
Springer
—For a long time, signal processing applications, and most particularly detection and parameter estimation methods, have relied on the limiting behaviour of test statistics and e...
ACSC
2000
IEEE
13 years 8 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...