Sciweavers

7457 search results - page 1101 / 1492
» The Dynamics of Computing Agent Systems
Sort
View
SIGGRAPH
2010
ACM
15 years 11 months ago
Discrete viscous threads
We present a continuum-based discrete model for thin threads of viscous fluid by drawing upon the Rayleigh analogy to elastic rods, demonstrating canonical coiling, folding, and ...
Miklós Bergou, Basile Audoly, Etienne Vouga, Max ...
BIRTHDAY
2005
Springer
15 years 8 months ago
A Mobility Calculus with Local and Dependent Types
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ci...
ECCV
2008
Springer
15 years 8 months ago
Active Matching
Abstract. In the matching tasks which form an integral part of all types of tracking and geometrical vision, there are invariably priors available on the absolute and/or relative i...
Margarita Chli, Andrew J. Davison
185
Voted
CGF
2004
140views more  CGF 2004»
15 years 6 months ago
Measurement-Based Interactive Simulation of Viscoelastic Solids
Animation of viscoelastic solids in entertainment and medical applications as well as scientific simulation can be improved through observations of real world objects. This paper ...
Jeffrey Schoner, Jochen Lang, Hans-Peter Seidel
TCS
2010
15 years 5 months ago
Arrows for secure information flow
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
Peng Li, Steve Zdancewic
« Prev « First page 1101 / 1492 Last » Next »