Sciweavers

1195 search results - page 78 / 239
» What, Where
Sort
View
AI
2006
Springer
13 years 9 months ago
Discovering the linear writing order of a two-dimensional ancient hieroglyphic script
This paper demonstrates how machine learning methods can be applied to deal with a realworld decipherment problem where very little background knowledge is available. The goal is ...
Shou de Lin, Kevin Knight
ENTCS
2008
118views more  ENTCS 2008»
13 years 9 months ago
Barbed Model-Driven Software Development: A Case Study
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
Carlo Montangero, Laura Semini
COMBINATORICS
2007
77views more  COMBINATORICS 2007»
13 years 9 months ago
On the Genus Distribution of (p, q, n)-Dipoles
There are many applications of the enumeration of maps in surfaces to other areas of mathematics and the physical sciences. In particular, in quantum field theory and string theo...
Terry I. Visentin, Susana W. Wieler
CORR
2007
Springer
117views Education» more  CORR 2007»
13 years 8 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
SIGCSE
2008
ACM
110views Education» more  SIGCSE 2008»
13 years 8 months ago
Innovating our self image
ion." These images do not foster collaboration with other fields and do not excite the curiosity of young people. In this session, Astrachan and Denning will discuss what they...
Owen L. Astrachan, Peter J. Denning