2542 search results - page 106 / 509 » integration 2010 |
ENTCS
2006
14 years 11 months ago
2006
This work describes the architecture of Contorsion, a semantic XPath processor that acts over an RDF mapping of XML. It contributes to a recent research trend that defines an XML-...
102
click to vote
JCAM
2010
14 years 6 months ago
2010
Multilevel methods are popular for the solution of well-posed problems, such as certain boundary value problems for partial differential equations and Fredholm integral equations ...
ADBIS
2010
Springer
14 years 6 months ago
2010
Springer
Integration of spatial data into multidimensional models leads to the concept of Spatial OLAP (SOLAP). Usually, SOLAP models exploit discrete spatial data. Few works integrate cont...
ENTCS
2007
14 years 11 months ago
2007
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
ENTCS
2006
14 years 11 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...