1445 search results - page 234 / 289 » XPath query containment |
KBSE
2006
IEEE
14 years 4 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
SMI
2006
IEEE
14 years 4 months ago
2006
IEEE
We discuss a shape representation based on a set of disconnected (planar) polygons. The polygons are computed by creating a BSP that contains approximately linear surface patches ...
ELPUB
2006
ACM
14 years 3 months ago
2006
ACM
The paper presents in brief a methodology for development of tools for knowledge-based search in repositories of digitized manuscripts. It is designated to assist the search activ...
UIST
2006
ACM
14 years 3 months ago
2006
ACM
Existing augmentations of web pages are mostly small cosmetic changes (e.g., removing ads) and minor addition of third-party content (e.g., product prices from competing sites). N...
CAMP
2005
IEEE
14 years 3 months ago
2005
IEEE
— For a peer-to-peer (P2P) system holding massive amount of data, an efficient and scalable search for resource sharing is a key determinant to its practical usage. Unstructured...