8828 search results - page 1204 / 1766 » Formal methods in practice |
189
click to vote
EOR
2008
15 years 5 months ago
2008
We study the problem of asset and liability management of participating insurance policies with guarantees. We develop a scenario optimization model for integrative asset and liab...
216
Voted
MICS
2008
15 years 5 months ago
2008
We present an approach to studying the community structures of networks by using linear programming (LP). Starting with a network in terms of (a) a collection of nodes and (b) a co...
191
click to vote
ISNN
2010
Springer
15 years 5 months ago
2010
Springer
As practical pattern classification tasks are often very-large scale and serious imbalance such as patent classification, using traditional pattern classification techniques in ...
168
Voted
RAS
2010
15 years 5 months ago
2010
Much of the literature shows that Central Pattern Generators (CPGs) are a good approach for generating periodic motions for legged robots. In most of the presented works the numer...
219
click to vote
SOFTVIS
2010
ACM
15 years 5 months ago
2010
ACM
Reverse engineering methods produce different descriptions of software architectures. In this work we analyze and define the task of exploring and comparing these descriptions. ...