1588 search results - page 63 / 318 » Modular action language |
150
click to vote
ICANN
2001
Springer
15 years 10 months ago
2001
Springer
This paper proposes an on-line error detecting method for a manually annotated corpus using min-max modular (M3 ) neural networks. The basic idea of the method is to use guaranteed...
176
Voted
HCI
2007
15 years 7 months ago
2007
State-of-the-art computer graphics can give autonomous agents a compelling appearance as animated virtual characters. Typically the agents are directly responsible for controlling ...
154
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
155
click to vote
JUCS
2008
15 years 6 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
169
click to vote
SLE
2009
Springer
16 years 20 days ago
2009
Springer
As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domainspecific languages. Unfortunately these DSLs typicall...