5525 search results - page 877 / 1105 » Verification of Model Transformations |
135
click to vote
ACL
1998
15 years 5 months ago
1998
Determining the attachments of prepositions and subordinate conjunctions is a key problem in parsing natural language. This paper presents a trainable approach to making these att...
142
click to vote
UAI
2003
15 years 5 months ago
2003
We consider the problem of learning a Riemannian metric associated with a given differentiable manifold and a set of points. Our approach to the problem involves choosing a metric...
156
click to vote
ISMB
1998
15 years 5 months ago
1998
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
148
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 5 months ago
2007
An integrated management of business processes demands a strictly process-oriented development of the supporting IT. Process-orientation is especially promoted by Service-Oriented...
140
click to vote
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...