Sciweavers

6306 search results - page 27 / 1262
» Space, Time, and the Use of Language
Sort
View
ZUM
1998
Springer
105views Formal Methods» more  ZUM 1998»
15 years 1 months ago
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...
Richard F. Paige
COGSCI
2008
78views more  COGSCI 2008»
14 years 9 months ago
Space Between Languages
What aspects of spatial relations influence speakers' choice of locative? This article presents a study of static spatial descriptions from 24 languages. The study reveals tw...
Michele I. Feist
EMNLP
2010
14 years 7 months ago
Handling Noisy Queries in Cross Language FAQ Retrieval
Recent times have seen a tremendous growth in mobile based data services that allow people to use Short Message Service (SMS) to access these data services. In a multilingual soci...
Danish Contractor, Govind Kothari, Tanveer A. Faru...
ESOP
2008
Springer
14 years 11 months ago
Inferring Channel Buffer Bounds Via Linear Programming
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
Tachio Terauchi, Adam Megacz
CIKM
2008
Springer
14 years 11 months ago
Similarity cross-analysis of tag / co-tag spaces in social classification systems
Recent growth of social classification systems due to steadily increasing popularity has established a multitude of heterogeneous isolated, non-integrated, and non-interoperable t...
Steffen Oldenburg, Martin Garbe, Clemens H. Cap