Sciweavers

2184 search results - page 432 / 437
» Assistive Embedded Technologies
Sort
View
FOSSACS
2008
Springer
15 years 1 months ago
Erasure and Polymorphism in Pure Type Systems
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
Nathan Mishra-Linger, Tim Sheard
MVA
2007
281views Computer Vision» more  MVA 2007»
15 years 1 months ago
Evaluation of Stereo Matching Systems for Real World Applications Using Structured Light for Ground Truth Estimation
In this paper we present an evaluation method for stereo matching systems and sensors especially for real world indoor applications. We estimate ground truth reference images by i...
Martin Humenberger, Daniel Hartermann, Wilfried Ku...
CSREAPSC
2006
15 years 1 months ago
Design and Implementation of SONICA (Service Oriented Network Interoperability for Component Adaptation) for Multimedia Pervasiv
Abstract - Recent advances in multimedia network systems have led to the development of a new generation of applications that associate the use of various multimedia objects. The c...
Hiroshi Hayakawa, Takahiro Koita, Kenya Sato
ICIS
2004
15 years 1 months ago
Are Digital Rights Valuable? Theory and Evidence from the eBook Industry
The effective management of digital rights is a crucial challenge in many industries making the transition from physical to digital products. We present an economic model that cha...
Gal Oestreicher-Singer, Arun Sundararajan
DBSEC
2003
155views Database» more  DBSEC 2003»
15 years 1 months ago
Schema Based XML Security: RBAC Approach
As a platform-independent solution, XML is going to be used in many environments such as application integration and Web Services. Security of XML instance is a basic problem, esp...
Xinwen Zhang, Jaehong Park, Ravi S. Sandhu