Sciweavers

1034 search results - page 182 / 207
» Formalization of Web Design Patterns Using Ontologies
Sort
View
83
Voted
TVCG
2008
95views more  TVCG 2008»
15 years 10 days ago
A Taxonomy of 3D Occlusion Management for Visualization
While an important factor in depth perception, the occlusion effect in 3D environments also has a detrimental impact on tasks involving discovery, access, and spatial relation of o...
Niklas Elmqvist, Philippas Tsigas
134
Voted
DMSN
2009
ACM
15 years 7 months ago
Message models and aggregation in knowledge based middleware for rich sensor systems
Networked, distributed real world sensing is an increasingly prominent topic in computing and has quickly expanded from resource constrained “sensor networks” measuring simple...
Joseph B. Kopena, William C. Regli, Boon Thau Loo
MMSEC
2006
ACM
195views Multimedia» more  MMSEC 2006»
15 years 6 months ago
Image annotation watermarking: nested object embedding using hypergraph model
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
Claus Vielhauer, Maik Schott
ICDCS
1995
IEEE
15 years 4 months ago
Specifying Weak Sets
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...
Jeannette M. Wing, David C. Steere
116
Voted
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
15 years 9 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard