1364 search results - page 147 / 273 » Comparative Branching-Time Semantics |
157
Voted
WSCG
2004
15 years 5 months ago
2004
Most of the existing algorithms for decimation of triangular meshes perform poorly at very low levels of detail. We propose a new automatic method for the decimation of triangular...
115
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—State signaling and maintenance mechanisms play crucial roles in communication network protocols. State is used to facilitate indirections in protocols such as routing. Design a...
113
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
While lots of research in ontology matching is related to the issue of computing and refining similarity measures, only little attention has been paid to question how to extract t...
137
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due...
130
click to vote
ENTCS
2000
15 years 3 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...