1539 search results - page 90 / 308 » Is it time for real-time functional programming |
127
click to vote
FORMATS
2005
Springer
15 years 9 months ago
2005
Springer
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...
156
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Background: Finding relevant articles from PubMed is challenging because it is hard to express the user’s specific intention in the given query interface, and a keyword query ty...
156
Voted
SIGGRAPH
1997
ACM
15 years 7 months ago
1997
ACM
Morse theory shows how the topology of an implicit surface is affected by its function’s critical points, whereas catastrophe theory shows how these critical points behave as th...
119
Voted
POPL
1994
ACM
15 years 7 months ago
1994
ACM
Modern computer architectures increasingly depend on mechanisms that estimate future control flow decisions to increase performance. Mechanisms such as speculative execution and p...
224
Voted
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...