1328 search results - page 147 / 266 » Info Cases: Integrating Use Cases and Domain Models |
166
click to vote
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
In the last decades enormous advances have been made possible for modelling complex (physical) systems by mathematical equations and computer algorithms. To deal with very long run...
ICCV
2003
IEEE
15 years 3 months ago
2003
IEEE
Many of the computer vision algorithms have been posed in various forms of differential equations, derived from minimization of specific energy functionals, and the finite eleme...
DEXA
2003
Springer
15 years 3 months ago
2003
Springer
In recent years, link-based information retrieval methods from the Web are developed. A framework of these methods is a Web graph using pages as vertices and Web-links as edges. In...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
LCPC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...