Sciweavers

987 search results - page 69 / 198
» Ludics and Its Applications to Natural Language Semantics
Sort
View
OOPSLA
2010
Springer
15 years 4 months ago
Managing ambiguity in programming by finding unambiguous examples
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
Kenneth C. Arnold, Henry Lieberman
ECCC
2010
98views more  ECCC 2010»
15 years 3 months ago
Efficient Semantic Communication via Compatible Beliefs
In previous works, Juba and Sudan [6] and Goldreich, Juba and Sudan [4] considered the idea of "semantic communication", wherein two players, a user and a server, attemp...
Brendan Juba, Madhu Sudan
DMSN
2008
ACM
15 years 8 months ago
Stream-based macro-programming of wireless sensor, actuator network applications with SOSNA
Wireless sensor, actuator networks (WSANs) distinguish themselves from wireless sensor networks by the need to coordinate actuators' actions, real-time constraints on communi...
Marcin Karpinski, Vinny Cahill
HICSS
2008
IEEE
152views Biometrics» more  HICSS 2008»
16 years 24 days ago
A Context-Aware Approach Enhancing XML Semantics Integration
XML is designed to facilitate data exchange between applications. However, XML and its schema languages do not express semantics but rather the document structure, such as the nes...
Dershing Luo, Ching-Cha Hsieh
DS
2001
118views Database» more  DS 2001»
15 years 7 months ago
Constraints as Mobile Specifications in E-Commerce Applications
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
Kit-ying Hui, Peter M. D. Gray, Graham J. L. Kemp,...