345 search results - page 38 / 69 » GraphML Progress Report |
ICFP
2003
ACM
14 years 9 months ago
2003
ACM
We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories. Our proposal is to treat meta-variables as modal varia...
ICIDS
2009
Springer
14 years 4 months ago
2009
Springer
We report on the progress we have achieved in development of Emohawk, a 3D virtual reality application with an emergent narrative for teaching high-school students and undergraduat...
CBMS
2006
IEEE
14 years 3 months ago
2006
IEEE
The Exploitation of Switch Lightpaths for e-Science Applications (ESLEA) project is evaluating the feasibility of using switched lightpath networks to support various e-Science ap...
ELPUB
2006
ACM
14 years 3 months ago
2006
ACM
This paper introduces OAI static repository technology as a method by which publishers can expose their articlelevel metadata and thereby participate more fully in the wider infor...
KI
2005
Springer
14 years 3 months ago
2005
Springer
This paper reports further progress into a computational implementation of a new formalism for construction grammar, known as Fluid Construction Grammar (FCG). We focus in particu...