9455 search results - page 1504 / 1891 » The Modelling Language Zinc |
207
click to vote
MAGS
2008
15 years 6 months ago
2008
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...
218
Voted
SMA
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we present a new algorithm which turns an unstructured triangle mesh into a quad-dominant mesh with edges aligned to the principal directions of the underlying geome...
155
click to vote
TOG
2008
15 years 6 months ago
2008
We present a discrete treatment of adapted framed curves, parallel transport, and holonomy, thus establishing the language for a discrete geometric model of thin flexible rods wit...
186
click to vote
TSE
2008
15 years 6 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
232
click to vote
ANSOFT
2002
15 years 6 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...