345 search results - page 38 / 69 » GraphML Progress Report |
132
click to vote
ICFP
2003
ACM
16 years 5 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...
116
click to vote
ICIDS
2009
Springer
15 years 11 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...
136
click to vote
CBMS
2006
IEEE
15 years 11 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...
122
Voted
ELPUB
2006
ACM
15 years 11 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...
164
click to vote
KI
2005
Springer
15 years 10 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...