Sciweavers

6253 search results - page 550 / 1251
» Use Case Modeling Guidelines
Sort
View
UML
2004
Springer
16 years 16 days ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
NIPS
2007
15 years 8 months ago
Direct Importance Estimation with Model Selection and Its Application to Covariate Shift Adaptation
A situation where training and test samples follow different input distributions is called covariate shift. Under covariate shift, standard learning methods such as maximum likeli...
Masashi Sugiyama, Shinichi Nakajima, Hisashi Kashi...
ACSD
2010
IEEE
219views Hardware» more  ACSD 2010»
15 years 5 months ago
The Model Checking View to Clock Gating and Operand Isolation
Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...
Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep...
CDC
2010
IEEE
135views Control Systems» more  CDC 2010»
15 years 2 months ago
A simple optimal power flow model with energy storage
The integration of renewable energy generation, such as wind power, into the electric grid is difficult because of the source intermittency and the large distance between generatio...
K. Mani Chandy, Steven H. Low, Ufuk Topcu, Huan Xu
CIKM
2004
Springer
16 years 17 days ago
A framework for selective query expansion
Query expansion is a well-known technique that has been shown to improve average retrieval performance. This technique has not been used in many operational systems because of the...
Stephen Cronen-Townsend, Yun Zhou, W. Bruce Croft