3702 search results - page 472 / 741 » Reducing Misclassification Costs |
150
click to vote
GLVLSI
2005
IEEE
16 years 6 days ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
150
click to vote
HICSS
2005
IEEE
16 years 6 days ago
2005
IEEE
The electronic markets hypothesis (EMH) in the information systems (IS) literature suggests that information technology (IT) will reduce coordination costs across firms, leading t...
175
click to vote
HICSS
2005
IEEE
16 years 6 days ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
179
click to vote
HICSS
2005
IEEE
16 years 6 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 ...
154
click to vote
HOTI
2005
IEEE
16 years 6 days ago
2005
IEEE
— The amount of memory in buffered crossbars in combined input-crosspoint buffered switches is proportional to the number of crosspoints, or O(N2 ), where N is the number of port...