Sciweavers

2550 search results - page 145 / 510
» The Meaning of Open Standards
Sort
View
POPL
2004
ACM
16 years 6 months ago
A bisimulation for dynamic sealing
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
Eijiro Sumii, Benjamin C. Pierce
ICIAR
2009
Springer
16 years 1 months ago
Interacting with Digital Signage Using Hand Gestures
Abstract. Digital signage is a very attractive medium for advertisement and general communications in public open spaces. In order to add interaction capabilities to digital signag...
Qing Chen, François Malric, Yi Zhang, Muham...
SEMWEB
2009
Springer
16 years 1 months ago
LinkedGeoData: Adding a Spatial Dimension to the Web of Data
Abstract. In order to employ the Web as a medium for data and information integration, comprehensive datasets and vocabularies are required as they enable the disambiguation and al...
Sören Auer, Jens Lehmann, Sebastian Hellmann
FGCN
2008
IEEE
130views Communications» more  FGCN 2008»
16 years 29 days ago
Word Sense Disambiguation Based on Bayes Model and Information Gain
Word sense disambiguation has always been a key problem in Natural Language Processing. In the paper, we use the method of Information Gain to calculate the weight of different po...
Zhengtao Yu, Bin Deng, Bo Hou, Lu Han, Jianyi Guo
HICSS
2008
IEEE
95views Biometrics» more  HICSS 2008»
16 years 29 days ago
A Real-Options Approach to Modeling Investments in Competitive, Dynamic Retail Markets
The proliferation of retail outlets with nearly identical product offerings and similar costs due to market efficiency means that selecting an appropriate market to open a store i...
Baabak Ashuri, William B. Rouse, Douglas A. Bodner