3116 search results - page 115 / 624 » Positively dependent types |
133
click to vote
IGPL
2010
15 years 2 months ago
2010
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence network...
135
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
115
click to vote
VISUALIZATION
2002
IEEE
15 years 9 months ago
2002
IEEE
Finding the “best” viewing parameters for a scene is quite difficult but a very important problem. Fully automatic procedures seem to be impossible as the notion of “best...
132
click to vote
NN
1998
Springer
15 years 3 months ago
1998
Springer
A recurrent neural network can possess multiple stable states, a property that many brain theories have implicated in learning and memory. There is good evidence for such multista...
132
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...