1699 search results - page 294 / 340 » On the Expressive Power of QLTL |
218
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
114
click to vote
PODS
2006
ACM
16 years 2 months ago
2006
ACM
An intelligent agent will often be uncertain about various properties of its environment, and when acting in that environment it will frequently need to quantify its uncertainty. ...
134
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
Many online or local data sources provide powerful querying mechanisms but limited ranking capabilities. For instance, PubMed allows users to submit highly expressive Boolean keywo...
114
click to vote
ICDT
2010
ACM
15 years 11 months ago
2010
ACM
It is known that the composition of schema mappings, each specified by source-to-target tgds (st-tgds), can be specified by a secondorder tgd (SO tgd). We consider the question of...
118
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...