677 search results - page 130 / 136 » The XML Typechecking Problem |
179
Voted
MKM
2009
Springer
16 years 28 days ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
199
Voted
DASFAA
2008
IEEE
16 years 25 days ago
2008
IEEE
Graph is an important data structure to model complex structural data, such as chemical compounds, proteins, and XML documents. Among many graph data-based applications, sub-graph ...
148
Voted
ICCCN
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract—The current system design of mobile ad hoc networks (MANET), derived from their traditional fixed counterparts, cannot fully meet the requirements inherent to the dynam...
181
Voted
ICDM
2006
IEEE
16 years 12 days ago
2006
IEEE
Due to their capability for expressing semantics and relationships among data objects, semi-structured documents have become a common way of representing domain knowledge. Compari...
168
Voted
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
Testing reachability between nodes in a graph is a well-known problem with many important applications, including knowledge representation, program analysis, and more recently, bi...