Sciweavers

9162 search results - page 100 / 1833
» System and User Data Complexity
Sort
View
FSTTCS
2010
Springer
14 years 7 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To
DASFAA
2005
IEEE
115views Database» more  DASFAA 2005»
15 years 3 months ago
A Unifying Framework for Merging and Evaluating XML Information
Abstract. With the ever increasing connection between XML information systems over the Web, users are able to obtain integrated sources of XML information in a cooperative manner, ...
Ho Lam Lau, Wilfred Ng
SEKE
2010
Springer
14 years 8 months ago
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
Thomas Moser, Gregor Dürr, Stefan Biffl
IUI
2004
ACM
15 years 3 months ago
Leafing digital content
Today the availability of large digital content archives (video, ebook, audio) creates many problems in terms of user interaction and data manipulation (browsing, searching). Many...
A. Barletta, M. Mayer, B. Moser
SAC
2008
ACM
14 years 9 months ago
Computational methods for complex stochastic systems: a review of some alternatives to MCMC
We consider analysis of complex stochastic models based upon partial information. MCMC and reversible jump MCMC are often the methods of choice for such problems, but in some situ...
Paul Fearnhead