Sciweavers

1980 search results - page 210 / 396
» On the Associative Nijenhuis Relation
Sort
View
SPATIALCOGNITION
1998
Springer
15 years 5 months ago
Behavioral Experiments in Spatial Cognition Using Virtual Reality
Abstract. Virtual reality is used as a novel tool for behavioral experiments on humans. Two environments, Hexatown and Virtual Tubingen, are presented. Experiments on cognitive map...
Hanspeter A. Mallot, Sabine Gillner, Hendrik A. H....
RTA
1997
Springer
15 years 5 months ago
A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders
Series-parallel orders are de ned as the least class of partial orders containing the one-element order and closed by ordinal sum and disjoint union. From this inductive de nition,...
Denis Béchet, Philippe de Groote, Christian...
VL
1994
IEEE
121views Visual Languages» more  VL 1994»
15 years 5 months ago
Using 3D Tubes to Solve the Intersecting Line Representation Problem
In this paper we discuss 3D rendering as a solution to the line crossing problem associated with using connecting lines for illustrating relations in visual programming. The Bezie...
Lindsey L. Spratt, Allen L. Ambler
FSEN
2009
Springer
15 years 5 months ago
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
CIE
2006
Springer
15 years 5 months ago
Phase Transition Thresholds for Some Natural Subclasses of the Computable Functions
In this paper we first survey recent advances on phase transition phenomena which are related to natural subclasses of the recursive functions. Special emphasis is put on descent ...
Andreas Weiermann