2706 search results - page 203 / 542 » The case for a new business model |
154
click to vote
MEMOCODE
2005
IEEE
16 years 5 days ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
156
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a new LP (Linear Programming) model to solve a tactical wood procurement and harvesting problem. This optimization problem occurs in several wood supply chains...
212
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we introduce a new instance-based approach to the label ranking problem. This approach is based on a probability model on rankings which is known as the Mallows mode...
157
click to vote
FOSSACS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
148
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We present a framework for passivity-preserving model reduction for RLC systems that includes, as a special case, the well-known PRIMA model reduction algorithm. This framework pr...