4666 search results - page 101 / 934 » Equations on Timed Languages |
161
click to vote
DOLAP
2005
ACM
15 years 7 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
157
click to vote
SPLST
2003
15 years 6 months ago
2003
We integrate user-defined functions with semantic equations into standard Prolog. In order to interface them with Prolog, we introduce a single operator. If a predicate invocation...
112
click to vote
JUCS
2010
15 years 3 months ago
2010
: The membership problems of both stack automata and nonerasing stack automata are shown to be complete for polynomial time.
109
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—A novel continuous time fluid flow model of the dynamics of the interaction between ACK-clocking and the link buffer is presented. A fundamental integral equation relating the...
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Sufficient conditions for stability of time-varying 1D systems are already well established. This work treats the 2-D case in an approach that parallels that of the 1-...