1855 search results - page 9 / 371 » System Consequence |
104
click to vote
GAMEON
2009
14 years 7 months ago
2009
This paper describes a spring-based model for the interaction of water and land, which reconciles realism and fast rendering. The system controls the motion and interdependences o...
62
Voted
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Real-world applications generally distinguish themselves from theoretical developments in that they are much more complex and varied. As a consequence, better models require more d...
IANDC
2006
14 years 9 months ago
2006
The paper presents a modular superposition calculus for the combination of firstorder theories involving both total and partial functions. The modularity of the calculus is a cons...
ISCAS
2002
IEEE
15 years 2 months ago
2002
IEEE
Scalar linear time-varying systems are addressed. In particular, a new factorization method for the associated scalar polynomial system differential operator is presented. It diff...
62
Voted
TCS
2002
14 years 9 months ago
2002
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wi...