7121 search results - page 1367 / 1425 » Functions as Session-Typed Processes |
157
click to vote
AAAI
1994
15 years 7 months ago
1994
The BankXX system models the process of perusing and gathering information for argument as a heuristic best-first search for relevant cases, theories, and other domain-specific in...
167
click to vote
IAAI
1993
15 years 7 months ago
1993
This paper describes COMPAQ QuickSource, an electronic problem-solving and information system for Compaq’s line of networked printers. A major goal in designing this system was ...
382
click to vote
GRAPHICSINTERFACE
1996
15 years 7 months ago
1996
We present a comprehensive methodology for realistically animating liquid phenomena. Our approach unifies existing computer graphics techniques for simulating fluids and extends t...
184
click to vote
ISMB
1994
15 years 7 months ago
1994
Wepresent the prototype of a software system, cMledGeneQuiz,for large-scale biological sequence analysis. The system was designed to meet the needs that arise in computational seq...
193
click to vote
PPSC
1989
15 years 7 months ago
1989
The LAPACK software project currently under development is intended to provide a portable linear algebra library for high performance computers. LAPACK will make use of the Level 1...