1188 search results - page 206 / 238 » States of Knowledge |
102
click to vote
CSL
2006
Springer
15 years 4 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
118
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
The advent of virtual environments such as SecondLife call for a distributed approach for norm emergence and spreading. In open virtual environments, monitoring various interactin...
119
click to vote
ACL
2008
15 years 2 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 ...
143
click to vote
CLA
2007
15 years 2 months ago
2007
In this work we want to discuss an algorithm for drawing line diagrams of lattices based on force directed placement (FDP). This widely used technique in graph drawing introduces f...
121
Voted
IASTEDSEA
2004
15 years 1 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...