3056 search results - page 531 / 612 » Compiling Embedded Languages |
140
click to vote
WAIM
2010
Springer
15 years 3 months ago
2010
Springer
We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every ent...
172
click to vote
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
267
click to vote
SCP
2011
14 years 11 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
134
click to vote
JOLLI
2011
14 years 7 months ago
2011
This paper presents a new take on how argument dependencies in natural language are established and constrained. The paper starts with a rather standard view that (quantificationa...
152
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
Spatial networks like transportation, power, and pipeline networks are a ubiquitous spatial concept in everyday life and play an important role for navigational and routing purpos...