1648 search results - page 171 / 330 » A Modelling Framework for Functional Imagination |
135
Voted
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
Current Web Engineering methods develop "closed" web applications from conceptual models. This fact makes difficult the integration and the interoperability of different ...
133
Voted
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
146
Voted
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
The ability to constrain the geometry of deformable models for image segmentation can be useful when information about the expected shape or positioning of the objects in a scene i...
123
click to vote
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
1 We consider the problem of similarity search in applications where the cost of computing the similarity between two records is very expensive, and the similarity measure is not a...
139
Voted
ICDM
2006
IEEE
15 years 9 months ago
2006
IEEE
Current outlier detection schemes typically output a numeric score representing the degree to which a given observation is an outlier. We argue that converting the scores into wel...