14809 search results - page 2580 / 2962 » Model transformation by demonstration |
366
click to vote
ICCS
2004
Springer
16 years 29 days ago
2004
Springer
Theoretical modeling of chemical and biological processes is a key to understand nature and to predict experiments. Unfortunately, this is very data and computation extensive. Howe...
183
click to vote
ICFEM
2004
Springer
16 years 29 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
177
click to vote
IJCNLP
2004
Springer
16 years 29 days ago
2004
Springer
One problem seriously affecting CLIR performance is the processing of queries with embedded foreign names. A proper noun dictionary is never complete rendering name translation fr...
223
click to vote
IMR
2004
Springer
16 years 29 days ago
2004
Springer
In this paper, we propose a robust isotropic tetrahedral mesh generation method. An advancing front method is employed to control local mesh density and to easily preserve the ori...
180
click to vote
INEX
2004
Springer
16 years 29 days ago
2004
Springer
Queries over XML documents challenge search engines to return the most relevant XML components that satisfy the query concepts. In a previous work[6] we described an algorithm to ...