Sciweavers

9521 search results - page 175 / 1905
» Compiling with continuations, continued
Sort
View
FOSSACS
2010
Springer
15 years 6 months ago
Linearly-Used Continuations in the Enriched Effect Calculus
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
Jeff Egger, Rasmus Ejlers Møgelberg, Alex S...
112
Voted
AAAI
2007
15 years 5 months ago
Improved State Estimation in Multiagent Settings with Continuous or Large Discrete State Spaces
State estimation in multiagent settings involves updating an agent’s belief over the physical states and the space of other agents’ models. Performance of the previous approac...
Prashant Doshi
ATAL
2008
Springer
15 years 5 months ago
Continual collaborative planning for mixed-initiative action and interaction
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...
Michael Brenner
GEOINFO
2007
15 years 4 months ago
Continuous Interaction with TDK: Improving the User Experience in Terralib
Historically, visual display has always played a very important role in GIS applications. However, visual exploration tools do not scale well when applied to huge spatial data sets...
Marcelo Metello, Mário de Sá Vera, M...
131
Voted
GRAPHICSINTERFACE
2008
15 years 4 months ago
PNG1 triangles for tangent plane continuous surfaces on the GPU
Improving the visual appearance of coarse triangle meshes is usually done with graphics hardware with per-pixel shading techniques. Improving the appearance at silhouettes is inhe...
Christoph Fünfzig, Kerstin Müller, Diann...