2496 search results - page 92 / 500 » Error-detecting properties of languages |
90
Voted
ICML
1998
IEEE
16 years 1 months ago
1998
IEEE
Cross-language latent semantic indexing is a method that learns useful languageindependent vector representations of terms through a statistical analysis of a documentaligned text...
217
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
124
click to vote
ESAW
2009
Springer
15 years 7 months ago
2009
Springer
Sign languages can be learned effectively only with frequent feedback from an expert in the field. The expert needs to watch a performed sign, and decide whether the sign has bee...
100
Voted
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
80
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...