4520 search results - page 35 / 904 » Algebraic Techniques for Timed Systems |
129
click to vote
EDBT
2008
ACM
16 years 1 months ago
2008
ACM
Many systems such as Tukwila and YFilter combine automaton and algebra techniques to process queries over tokenized XML streams. Typically in this architecture, an automaton is fi...
OODBS
1992
15 years 5 months ago
1992
This paper addresses the problem of de ning views that span several objectbases. Views are expressed in terms of an object algebra. We are interested in the degrees of coupling an...
119
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...
103
click to vote
BPSC
2009
15 years 2 months ago
2009
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
105
click to vote
SIAMSC
2008
15 years 1 months ago
2008
We discuss in this paper the numerical approximation of fluid-structure interaction (FSI) problems dealing with strong added-mass effect. We propose new semi-implicit algorithms ba...