Sciweavers

1021 search results - page 9 / 205
» Pure Subtype Systems
Sort
View
ECAL
2005
Springer
15 years 10 months ago
Is an Embodied System Ever Purely Reactive?
This paper explores the performance of a simple model agent using a reactive controller in situations where, from an external perspective, a solution that relies on internal states...
Eduardo Izquierdo-Torres, Ezequiel A. Di Paolo
TLCA
1993
Springer
15 years 9 months ago
Pure Type Systems Formalized
James McKinna, Robert Pollack
JAVA
2000
Springer
15 years 8 months ago
A high performance cluster JVM presenting a pure single system image
Yariv Aridor, Michael Factor, Avi Teperman, Tamar ...
FUIN
2007
70views more  FUIN 2007»
15 years 4 months ago
Active Symbols in Pure Systems
Suna Bensch, Henning Bordihn
153
Voted
JSCIC
2010
142views more  JSCIC 2010»
14 years 11 months ago
Recent Developments in the Pure Streamfunction Formulation of the Navier-Stokes System
In this paper we review fourth-order approximations of the biharmonic operator in one, two and three dimensions. In addition, we describe recent developments on second and fourth o...
Dalia Fishelov, Matania Ben-Artzi, Jean-Pierre Cro...