Sciweavers

493 search results - page 49 / 99
» types 1998
Sort
View
TAGT
1998
Springer
162views Graph Theory» more  TAGT 1998»
15 years 4 months ago
Hypergraphs as a Uniform Diagram Representation Model
When working with diagrams in visual environments like graphical diagram editors, diagrams have to be represented by an internal model. Graphs and hypergraphs are well-known concep...
Mark Minas
TARK
1998
Springer
15 years 4 months ago
Hypothetical Knowledge and Counterfactual Reasoning
: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...
Joseph Y. Halpern
TIC
1998
Springer
15 years 4 months ago
Polymorphic Equality - No Tags Required
Polymorphic equality is a controversial language construct. While being convenient for the programmer, it has been argued that polymorphic equality (1) invites to violation of soft...
Martin Elsman
VECPAR
1998
Springer
15 years 4 months ago
The Design of an ODMG Compatible Parallel Object Database Server
The Polar project has the aim of designing a parallel, ODMG compatible object database server. This paper describes the server requirements and investigates issues in designing a s...
Paul Watson
EPS
1997
Springer
15 years 4 months ago
Performance-Enhanced Genetic Programming
Genetic Programming is increasing in popularity as the basis for a wide range of learning algorithms. However, the technique has to date only been successfully applied to modest t...
Chris Clack, Tina Yu