4666 search results - page 101 / 934 » Equations on Timed Languages |
114
click to vote
DOLAP
2005
ACM
15 years 2 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...
98
Voted
SPLST
2003
15 years 2 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...
JUCS
2010
14 years 11 months ago
2010
: The membership problems of both stack automata and nonerasing stack automata are shown to be complete for polynomial time.
66
Voted
INFOCOM
2008
IEEE
15 years 7 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...
50
Voted
ISCAS
2005
IEEE
15 years 6 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-...