11484 search results - page 144 / 2297 » Modeling in the Large and Modeling in the Small |
158
click to vote
FMOODS
2007
15 years 7 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
156
click to vote
AGI
2008
15 years 7 months ago
2008
Abstract. An artificial system that achieves human-level performance on opendomain tasks must have a huge amount of knowledge about the world. We argue that the most feasible way t...
167
click to vote
EMNLP
2007
15 years 7 months ago
2007
This paper presents a tree-to-tree transduction method for text rewriting. Our model is based on synchronous tree substitution grammar, a formalism that allows local distortion of...
175
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Evolvability is the capacity to evolve. This paper introduces a simple computational model of evolvability and demonstrates that, under certain conditions, evolvability can increa...
145
click to vote
ICCS
2007
Springer
16 years 17 days ago
2007
Springer
We present a novel approach for modeling subduction using a Multipole-accelerated Boundary Element Method (BEM). The present approach allows large-scale modeling with a reduced num...