3954 search results - page 440 / 791 » Image-based Model Completion |
142
click to vote
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. P systems (known also as membrane systems) are biologically motivated theoretical models of distributed and parallel computing. The two most interesting questions in the ...
108
click to vote
ICWE
2004
Springer
15 years 10 months ago
2004
Springer
Business Processes for Web 1 Services are the new paradigm for virtual organization. In such cross organizational partnerships no business partner may guess a priori what kind of c...
140
click to vote
ISMS
2004
Springer
15 years 10 months ago
2004
Springer
The idea of using computer-based surgical simulators for training of prospective surgeons has been a topic of research for more than a decade. However, surgical simulation is still...
131
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
140
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...