2858 search results - page 158 / 572 » Logics with Aggregate Operators |
114
click to vote
DEXA
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we present an OLAP framework for trajectories of moving objects. We introduce a new operator GROUP TRAJECTORIES for group-by operations on trajectories and present ...
101
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
This paper describes a family of novel dynamically reconfigurable logic gates based on double-gate carbon nanotube field-effect transistors which demonstrate p-type or n-type switc...
132
click to vote
CSL
2006
Springer
15 years 3 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
JSYML
2000
15 years 2 months ago
2000
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...
148
click to vote
SLOGICA
2010
14 years 9 months ago
2010
In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the...