20 search results - page 3 / 4 » A Game Semantics of Local Names and Good Variables |
COSIT
2009
Springer
13 years 10 months ago
2009
Springer
Named urban neighborhoods (localities) are often examples of vague place extents. These are compared with current knowledge of vagueness in concepts and categories within semantic ...
ESWS
2008
Springer
13 years 7 months ago
2008
Springer
Organizations working in a multilingual environment demand multilingual ontologies. To solve this problem we propose LabelTranslator, a system that automatically localizes ontologi...
ICFP
2005
ACM
14 years 5 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
CVPR
2008
IEEE
14 years 7 months ago
2008
IEEE
The use of 3-D ultrasound data has several advantages over 2-D ultrasound for fetal biometric measurements, such as considerable decrease in the examination time, possibility of p...
SPIRE
2009
Springer
14 years 8 days ago
2009
Springer
A new trend in the field of pattern matching is to design indexing data structures which take space very close to that required by the indexed text (in entropy-compressed form) an...