29046 search results - page 520 / 5810 » Computable Models |
291
click to vote
OOIS
2001
Springer
15 years 12 months ago
2001
Springer
The accurate estimation of software development effort has major implications for the management of software development in the industry. Underestimates lead to time pressures tha...
217
click to vote
EVOW
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we introduce an hybrid evolutionary algorithm for computer-aided orchestration. Our current approach to orchestration consists in replicating a target sound with a se...
208
click to vote
LCPC
2000
Springer
15 years 11 months ago
2000
Springer
State-of-the-art run-time systems are a poor match to diverse, dynamic distributed applications because they are designed to provide support to a wide variety of applications, with...
208
Voted
MMB
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
187
Voted
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
During the last years, argumentation has been gaining increasing interest in modeling different reasoning tasks of an agent. Many recent works have acknowledged the importance of ...