8874 search results - page 203 / 1775 » A New Implementation of Automath |
232
click to vote
HASKELL
2009
ACM
15 years 11 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...
126
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
The model of overloading views is a facility allowing the programmer to separate some kinds of crosscutting concerns that occur during design, implementation and maintenance of dat...
176
click to vote
IWSDS
2010
15 years 2 months ago
2010
Recently various data-driven spoken language technologies have been applied to spoken dialog system development. However, high cost of maintaining the spoken dialog systems is one ...
141
click to vote
ENTCS
2010
15 years 1 months ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
142
click to vote
IPL
2010
15 years 1 months ago
2010
cally Refining Abstract Interpretations Bhargav S. Gulavani1 , Supratik Chakraborty1 , Aditya V. Nori2 , and Sriram K. Rajamani2 1 IIT Bombay 2 Microsoft Research India Abstract. A...