461 search results - page 18 / 93 » Bounds for Validation |
DATE
2004
IEEE
14 years 2 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
In many practical parameter estimation problems, the appropriate criterion is periodic in the parameter space. This paper considers the mean square periodic error (MSPE) criterion...
ESA
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The throughput capacity of arbitrary wireless networks under the physical Signal to Interference Plus Noise Ratio (SINR) model has received a greater deal of attention in...
JPDC
2007
13 years 10 months ago
2007
Client interactions with modern web-accessible network services are typically organized into sessions involving multiple requests that read and write shared application data. Ther...
AI
2010
Springer
13 years 7 months ago
2010
Springer
How do we build algorithms for agent interactions with human adversaries? Stackelberg games are natural models for many important applications that involve human interaction, such...