Sciweavers

7623 search results - page 819 / 1525
» Constructive Volume Modeling
Sort
View
JVCA
2008
89views more  JVCA 2008»
15 years 7 months ago
A physically faithful multigrid method for fast cloth simulation
We present an efficient multigrid algorithm that is adequate to solve a heavy linear system given in cloth simulation. Although multigrid has been successfully applied to the Pois...
Seungwoo Oh, Jun-yong Noh, KwangYun Wohn
JFP
2006
113views more  JFP 2006»
15 years 7 months ago
Consistency of the theory of contexts
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan S...
LOGCOM
2008
120views more  LOGCOM 2008»
15 years 7 months ago
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
We look at the problem in belief revision of trying to make inferences about what an agent believed--or will believe--at a given moment, based on an observation of how the agent h...
Richard Booth, Alexander Nittka
FAC
2007
122views more  FAC 2007»
15 years 7 months ago
Formal techniques for performance analysis: blending SAN and PEPA
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
Jane Hillston, Leïla Kloul
AIEDAM
2005
60views more  AIEDAM 2005»
15 years 7 months ago
Chasing concepts during design: A photo shoot from the field of architecture
This paper examines the role of design concepts in a modus operandi as opposed to a modus operatum, which is how their generation, as it unfolds over time, is perceived by someone...
A. N. N. Heylighen, Geneviève Martin