Sciweavers

2413 search results - page 186 / 483
» Understanding the problem
Sort
View
HICSS
2007
IEEE
108views Biometrics» more  HICSS 2007»
15 years 11 months ago
Elementary Analysis of Energy Options for Resource Adequacy
We examine a few elementary cases of forward contracting and a process by which capacity contracts with energy strike prices can lead to incentives for enhanced competition. To mo...
Robert Entriken
HICSS
2007
IEEE
115views Biometrics» more  HICSS 2007»
15 years 11 months ago
Leveraging and Limiting Practical Drift in Emergency Response Planning
A knowledge gap exists between what emergency responders know from their direct experience and what emergency planners know from analysis and reflection. The theory of practical d...
Steven R. Haynes, Wendy A. Schafer, John M. Carrol...
113
Voted
ISQED
2007
IEEE
124views Hardware» more  ISQED 2007»
15 years 11 months ago
Multi-Dimensional Circuit and Micro-Architecture Level Optimization
This paper studies multi-dimensional optimization at both circuit and micro-architecture levels. By formulating and solving the optimization problem with conflicting design objec...
Zhenyu Qi, Matthew M. Ziegler, Stephen V. Kosonock...
B
2007
Springer
15 years 10 months ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel
CP
2007
Springer
15 years 10 months ago
On Universal Restart Strategies for Backtracking Search
Abstract. Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that a technique called randomi...
Huayue Wu, Peter van Beek