3954 search results - page 440 / 791 » Image-based Model Completion |
192
click to vote
ICTAC
2004
Springer
16 years 4 days 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 ...
131
click to vote
ICWE
2004
Springer
16 years 3 days 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...
180
click to vote
ISMS
2004
Springer
16 years 3 days 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...
162
click to vote
KR
2004
Springer
16 years 3 days 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...
180
click to vote
LPNMR
2004
Springer
16 years 3 days 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 ...