2765 search results - page 260 / 553 » Works and representation |
159
click to vote
PAKDD
2005
ACM
16 years 6 days ago
2005
ACM
Abstract. The data stream model of computation is often used for analyzing huge volumes of continuously arriving data. In this paper, we present a novel algorithm called DUCstream ...
174
click to vote
ECWEB
2005
Springer
16 years 5 days ago
2005
Springer
This work describes a novel strategy for designing an XPath processor that acts over an RDF mapping of XML. We use a modelmapping approach to represent instances of XML and XML Sch...
160
click to vote
AIS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The success of DEVS methods for simulating large continuous models calls for more in-depth examination of the applicability of discrete events in modeling continuous phen...
157
click to vote
FATES
2004
Springer
16 years 3 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
187
click to vote
FSTTCS
2004
Springer
16 years 3 days ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...