Sciweavers

11121 search results - page 214 / 2225
» Computing with Continuous Change
Sort
View
120
Voted
ICMCS
1996
IEEE
72views Multimedia» more  ICMCS 1996»
15 years 8 months ago
A Probabilistic Multi-cycle Model for Serving Continuous Streams from Disks
Existing models for serving continuous streams from disks are generally based on worst-case deterministic head displacement times and on a round-robin strand service approach cons...
Freddy Deppner, Benoit A. Gennart, Roger D. Hersch
FORMATS
2006
Springer
15 years 7 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi
133
Voted
FOSSACS
2010
Springer
15 years 7 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...
GEOINFO
2007
15 years 5 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...
DICTA
2003
15 years 5 months ago
Globally Optimal Surfaces by Continuous Maximal Flows
Abstract. In this paper we solve the problem of computing exact continuous optimal curves and surfaces for image segmentation and 3D reconstruction, using a maximal flow approach ...
Ben Appleton, Hugues Talbot