Sciweavers

4164 search results - page 558 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
ACCV
1995
Springer
15 years 10 months ago
An Integrated Model for Evaluating the Amount of Data Required for Reliable Recognition
—Many recognition procedures rely on the consistency of a subset of data features with a hypothesis as the sufficient evidence to the presence of the corresponding object. We ana...
Michael Lindenbaum
INFOCOM
1997
IEEE
15 years 10 months ago
An Empirical Model of HTTP Network Traffic
The workload of the global Internet is dominated by the Hypertext Transfer Protocol (HTTP), an application protocol used by World Wide Web clients and servers. Simulation studies ...
Bruce A. Mah
CORR
2007
Springer
134views Education» more  CORR 2007»
15 years 6 months ago
Web data modeling for integration in data warehouses
In a data warehousing process, the data preparation phase is crucial. Mastering this phase allows substantial gains in terms of time and performance when performing a multidimensio...
Sami Miniaoui, Jérôme Darmont, Omar B...
SAB
2010
Springer
140views Optimization» more  SAB 2010»
15 years 5 months ago
A Model of Symmetry Breaking in Collective Decision-Making
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
Heiko Hamann, Bernd Meyer, Thomas Schmickl, Karl C...
FSTTCS
2010
Springer
15 years 4 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