4403 search results - page 795 / 881 » Galois Theory of Algorithms |
185
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
173
click to vote
IMC
2007
ACM
15 years 8 months ago
2007
ACM
The ability to discover network organization, whether in the form of explicit topology reconstruction or as embeddings that approximate topological distance, is a valuable tool. T...
206
click to vote
ACL
2008
15 years 7 months ago
2008
Accurate unsupervised learning of phonemes of a language directly from speech is demonstrated via an algorithm for joint unsupervised learning of the topology and parameters of a ...
189
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
At present time configurable wireless sensor networks are given special consideration. Wireless sensor networks are now a static elements union. To make such a network a powerful ...
178
click to vote
SDM
2007
SIAM
15 years 7 months ago
2007
SIAM
In many applications, we monitor data obtained from multiple streaming sources for collective decision making. The task presents several challenges. First, data in sensor networks...