Sciweavers

813 search results - page 63 / 163
» Languages for Relational Databases over Interpreted Structur...
Sort
View
W3C
1998
13 years 9 months ago
Query Languages Workshop Position Paper
This paper discusses the use of XML in conjunction with a variety of repositories and database systems, and outlines some of the requirements for an effective query language. Many...
Noah Mendelsohn
IC
2007
13 years 10 months ago
Native Temporal Slicing Support for XML Databases
Abstract XML databases, providing structural querying support, are becoming more and more popular. As we know, XML data may change over time and providing an efficient support to q...
Federica Mandreoli, Riccardo Martoglia, Enrico Ron...
HICSS
2011
IEEE
157views Biometrics» more  HICSS 2011»
13 years 7 days ago
Reusing Relational Queries for Intuitive Decision Optimization
— Decision optimization is used in many applications such as those for finding the best course of action in emergencies. However, optimization solutions require considerable mat...
Alexander Brodsky, Nathan E. Egge, Xiaoyang Sean W...
AISC
2010
Springer
14 years 25 days ago
Structured Formal Development with Quotient Types in Isabelle/HOL
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
Maksym Bortin, Christoph Lüth
CVPR
2009
IEEE
2358views Computer Vision» more  CVPR 2009»
15 years 3 months ago
Pictorial Structures Revisited: People Detection and Articulated Pose Estimation
Non-rigid object detection and articulated pose estimation are two related and challenging problems in computer vision. Numerous models have been proposed over the years and oft...
Mykhaylo Andriluka (TU Darmstadt), Stefan Roth (TU...