358 search results - page 58 / 72 » A Verification Methodology for Model Fields |
147
Voted
COMGEO
2010
ACM
15 years 3 months ago
2010
ACM
r Numerical Abstractions6 Roberto Bagnaraa , Patricia M. Hillb , Enea Zaffanellaa aDepartment of Mathematics, University of Parma, Italy bSchool of Computing, University of Leeds, ...
241
Voted
MICROMACHINES
2011
14 years 10 months ago
2011
: A wealth of current research in microengineering aims at fabricating devices of increasing complexity, notably by (self-)assembling elementary components into heterogeneous funct...
319
Voted
GRAPHICSINTERFACE
1996
15 years 5 months ago
1996
We present a comprehensive methodology for realistically animating liquid phenomena. Our approach unifies existing computer graphics techniques for simulating fluids and extends t...
145
Voted
ICSEA
2009
IEEE
15 years 10 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
181
Voted
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
We present a novel method for modeling dynamic visual
phenomena, which consists of two key aspects. First, the in-
tegral motion of constituent elements in a dynamic scene is
ca...