15660 search results - page 294 / 3132 » The Unbalance of Set Systems |
176
Voted
IEAAIE
2003
Springer
16 years 2 days ago
2003
Springer
Abstract: SumTime-Turbine produces textual summaries of archived timeseries data from gas turbines. These summaries should help experts understand large data sets that cannot be vi...
183
Voted
CADE
1999
Springer
15 years 11 months ago
1999
Springer
CutRes is a system which takes as input an LK-proof with arbitrary cuts and skolemized end-sequent and gives as output an LKproof with atomic cuts only. The elimination of cuts is ...
191
Voted
ERCIMDL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
211
click to vote
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper describes new algorithms for systemlevel software synthesis, namely the scheduling and allocation of a set of complex tasks running at multiple rates on a heterogeneous...
172
click to vote
ICPADS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we propose a novel deadlock resolution algorithm. In the presence of global deadlocks in a multidatabase system, this algorithm always selects an optimal set of vic...