1176 search results - page 125 / 236 » Implicit Abstraction Heuristics |
178
click to vote
HICSS
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract— We compare two alternative mechanisms for capping prices in two-settlement electricity markets. With sufficient lead time and competitive entry opportunities, forward ...
169
click to vote
AIED
2005
Springer
16 years 18 hour ago
2005
Springer
Abstract. Formalizing a student model for an educational system requires an engineering effort that is highly domain-specific. This model-specificity limits the ability to scale ...
142
click to vote
APPROX
2005
Springer
16 years 17 hour ago
2005
Springer
Abstract. We give a generic construction of an optimal hitting set generator (HSG) from any good “reconstructive” disperser. Past constructions of optimal HSGs have been based ...
156
click to vote
ATAL
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
178
click to vote
CAISE
2005
Springer
16 years 13 hour ago
2005
Springer
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...