Sciweavers

386 search results - page 11 / 78
» Algebraic Splats Representation for Point Based Models
Sort
View
LICS
2008
IEEE
14 years 2 months ago
A Logic for Algebraic Effects
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
Gordon D. Plotkin, Matija Pretnar
MTA
2002
190views more  MTA 2002»
13 years 7 months ago
Model-Based Video Classification toward Hierarchical Representation, Indexing and Access
Abstract. In this paper, we develop a content-based video classification approach to support semantic categorization, high-dimensional indexing and multi-level access. Our contribu...
Jianping Fan, Xingquan Zhu, Mohand-Said Hacid, Ahm...
SIMULATION
2008
139views more  SIMULATION 2008»
13 years 7 months ago
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. ...
JCSS
2008
159views more  JCSS 2008»
13 years 7 months ago
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillst...
DBPL
1999
Springer
122views Database» more  DBPL 1999»
14 years 5 days ago
A Representation Independent Language for Planar Spatial Databases with Euclidean Distance
Linear constraint databases and query languages are appropriate for spatial database applications. Not only the data model is natural to represent a large portion of spatial data s...
Gabriel M. Kuper, Jianwen Su