21319 search results - page 694 / 4264 » An Approach for Method Reengineering |
153
click to vote
CEC
2005
IEEE
16 years 1 months ago
2005
IEEE
—A principal challenge in modern computational finance is efficient portfolio design – portfolio optimization followed by decision-making. Optimization based on even the widely...
201
click to vote
CAV
2005
Springer
16 years 28 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
209
Voted
GECCO
2005
Springer
16 years 28 days ago
2005
Springer
Resource-Limited Genetic Programming is a bloat control technique that imposes a single limit on the total amount of resources available to the entire population, where resources ...
187
Voted
ACSC
2003
IEEE
16 years 21 days ago
2003
IEEE
Graphs where each node includes an amount of text are often used in applications. A typical example of such graphs is UML diagrams used in CASE tools. To make text information in ...
188
Voted
ICSE
2010
IEEE-ACM
16 years 6 days ago
2010
IEEE-ACM
Software frameworks and libraries are indispensable to today’s software systems. As they evolve, it is often timeconsuming for developers to keep their code up-to-date, so appro...