1791 search results - page 204 / 359 » Two Types of Multiple-Conclusion Systems |
VIP
2000
13 years 10 months ago
2000
The paper describes a prototype of cataloging and search engine for video library, the Video Library Search Engine (VLSE). We propose the system based on our codification of video...
ACL
1989
13 years 10 months ago
1989
Near-term spoken language systems willlikely be limited in their interactive capabilities. To design them, we shall need to model how the presence or absence of speaker interactio...
WCE
2007
13 years 10 months ago
2007
—This paper studies the cardiovascular response under heart failure condition supported by two types of ventricular assist devices (VADs): the positive displacement pump and the ...
ENTCS
2007
13 years 9 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...