14809 search results - page 2827 / 2962 » Model transformation by demonstration |
145
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
159
click to vote
ISBI
2006
IEEE
16 years 6 months ago
2006
IEEE
We introduce a method for estimating regional connectivity in diffusion tensor magnetic resonance imaging (DT-MRI) based on a fluid mechanics model. We customize the Navier-Stokes...
149
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
With the rise of community-generated web content, the need for automatic assessment of resource quality has grown, particularly in the realm of educational digital libraries. We d...
145
Voted
WWW
2009
ACM
16 years 6 months ago
2009
ACM
We demonstrate a flight meta-search engine that is based on the Metamorph framework. Metamorph provides mechanisms to model web forms together with the interactions which are need...
155
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
Understanding the intent behind a user's query can help search engine to automatically route the query to some corresponding vertical search engines to obtain particularly re...