7380 search results - page 685 / 1476 » Engineering Software Intensive Systems |
217
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
208
click to vote
CISIS
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we propose a level set based energy functional, the minimization of which results in simultaneous background modeling, foreground segmentation, and contour smoothin...
184
click to vote
CCE
2010
15 years 4 months ago
2010
This paper presents an approach for combined mass and energy integration in process synthesis and illustrates it at the thermochemical production of crude synthetic natural gas (S...
196
click to vote
ICCD
2000
IEEE
16 years 4 months ago
2000
IEEE
Recent advances in software engineering, such as graphical user intevaces and object-oriented programming, have caused applications to become more memory intensive. These applicat...
234
click to vote
DMG
2005
Springer
16 years 21 days ago
2005
Springer
Grid services provide an important abstract layer on top of heterogeneous components (hardware and software) that take part into a grid environment. We are developing a data grid s...