3709 search results - page 438 / 742 » Supporting experimentation with Side-Views |
156
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
We present here Extended Markov Tracking (EMT), a computationally tractable method for the online estimation of Markovian system dynamics, along with experimental support for its ...
165
click to vote
BTW
2005
Springer
16 years 7 days ago
2005
Springer
Abstract: An effective processing and analysis of data streams is of utmost importance for a plethora of emerging applications like network monitoring, traffic management, and fi...
166
click to vote
CAV
2005
Springer
16 years 7 days ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
187
click to vote
CIKM
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we propose a versatile disambiguation approach which can be used to make explicit the meaning of structure based information such as XML schemas, XML document struc...
173
click to vote
CIKM
2005
Springer
16 years 7 days ago
2005
Springer
We introduce the notion of views as a mechanism for securing and providing access control in the context of XML. Research in XML has explored several efficient querying mechanism...