536 search results - page 90 / 108 » A computer verified, monadic, functional implementation of t... |
APCHI
1998
IEEE
15 years 4 months ago
1998
IEEE
An event-driven demonstration is to show the behavior of an application by re-executing the captured events. It is used to provide help regarding how an application works because ...
106
click to vote
CHI
1996
ACM
15 years 3 months ago
1996
ACM
In its current implementation, the World-Wide Web lacks much of the explicit structure and strong typing found in many closed hypertext systems. While this property has directly f...
DAC
2005
ACM
15 years 1 months ago
2005
ACM
In this paper we discuss an efficient design flow from Matlab® to FPGA. Employing Matlab for algorithm research and as system level language allows efficient transition from algo...
106
click to vote
TSMC
2002
14 years 11 months ago
2002
By exploiting the Fourier series expansion, we have developed a new constructive method of automatically generating a multivariable fuzzy inference system from any given sample set...
CSCW
2004
ACM
15 years 5 months ago
2004
ACM
This paper reports from a study of Norwegian medical emergency call (AMK) centres, in which advanced radio and telephone communication technologies are handled by a team of nurses...