1818 search results - page 216 / 364 » Granularity-Adaptive Proof Presentation |
144
Voted
ICWS
2003
IEEE
15 years 5 months ago
2003
IEEE
Semantic Web technology has a vision to define and link Web data in a way that it can be understood and used by machines for automation, integration and reuse of data across variou...
112
Voted
WSC
2004
15 years 5 months ago
2004
In this paper we present an architecture for internet-mediated simulation games. The challenge was to use today's state of the art technologies to provide a simulated environ...
119
Voted
IWFM
2003
15 years 5 months ago
2003
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...
126
Voted
COLING
2000
15 years 5 months ago
2000
Typical approaches to XML authoring view a XML document as a mixture of structure (the tags) and surface (text between the tags). We advocate a radical approach where the surface ...
123
Voted
DAGSTUHL
2000
15 years 5 months ago
2000
We study the computation of rotation-invariant similarity measures of convex polyhedra, based on Minkowski's theory of mixed volumes. To compute the similarity measure, a (mix...