3053 search results - page 349 / 611 » Structured Objects: Modeling and Reasoning |
143
Voted
ASM
2008
ASM
15 years 6 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
119
Voted
PODS
2005
ACM
16 years 4 months ago
2005
ACM
We introduce the Multi-Structural Database, a new data framework to support efficient analysis of large, complex data sets. An instance of the model consists of a set of data obje...
146
click to vote
ADBIS
2006
Springer
15 years 10 months ago
2006
Springer
XML is suitable for structuring complex data coming from different sources and supported by heterogeneous formats. It allows a flexible formalism capable to represent and store d...
102
click to vote
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
Most schemes to compress the topology of a surface mesh have been developed for the lowest common denominator: triangulated meshes. We propose a scheme that handlesthe topology of...
117
Voted
GRAPHICSINTERFACE
2003
15 years 5 months ago
2003
Collision detection is a vital task in almost all forms of computer animation and physical simulation. It is also one of the most computationally expensive, and therefore a freque...