641 search results - page 72 / 129 » Modernizing Plan-Composition Studies |
100
click to vote
WWW
2001
ACM
16 years 2 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
108
click to vote
EDBT
2006
ACM
16 years 1 months ago
2006
ACM
: This work describes a method for processing XPath on a relational back-end that significantly limits the number of SQL joins required, takes advantage of the strengths of modern ...
118
click to vote
DCC
2008
IEEE
16 years 1 months ago
2008
IEEE
A system of algebraic equations over a finite field is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an unde...
102
click to vote
ECIR
2009
Springer
15 years 10 months ago
2009
Springer
Many people take pictures of different city landmarks and post them to photo-sharing systems like Flickr. They also add tags and place photos in Flickr groups, created around parti...
127
Voted
ECBS
2010
IEEE
15 years 8 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...