4763 search results - page 249 / 953 » On the Execution of Deep Models |
152
click to vote
ICLP
1990
Springer
15 years 10 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...
165
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
Events are becoming more and more important for companies as an instrument of marketing communication. Event management is an interdisciplinary task field, addressed in the most di...
171
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
Numerical solution of any large, three-dimensional fluid flow problem is a computationally intensive task that typically requires supercomputer solution to achieve reasonable exec...
176
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
149
click to vote
FMSB
2008
15 years 8 months ago
2008
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...