Sciweavers

7839 search results - page 280 / 1568
» What's there and what's not
Sort
View
LISA
1994
15 years 3 months ago
Adventures in the Evolution of a High-Bandwidth Network for Central Servers
In a small network, clients and servers may all be connected to a single Ethernet without significant performance concerns. As the number of clients on a network grows, the necess...
Karl L. Swartz, Roger Les Cottrell, Marty Dart
SLP
1993
86views more  SLP 1993»
15 years 3 months ago
Declarative Programming in Prolog
We try to assess to what extent declarative programming can be realized in Prolog and which aspects of correctness of Prolog programs can be dealt with by means of declarative int...
Krzysztof R. Apt
PDPTA
1996
15 years 3 months ago
Automated Performance Measurement of Parallel Programs
A new approach to monitoring the runtime behaviour of parallel programs will be presented. Our approach provides a speci cation language to build measurement models which describe...
Xiandeng Huang, Christoph Steigner
ACL
1989
15 years 2 months ago
Cooking Up Referring Expressions
This paper describes the referring expression generation mechanisms used in EPICURE, a computer program which produces natural language descriptions of cookery recipes. Major feat...
Robert Dale
IJCAI
1989
15 years 2 months ago
Visual Reasoning in Geometry Theorem Proving
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...
Michelle Y. Kim