2324 search results - page 344 / 465 » Benchmark Generation Using Domain Specific Modeling |
ICFP
2003
ACM
15 years 10 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
JAIR
2000
14 years 9 months ago
2000
The recent approaches of extending the GRAPHPLAN algorithm to handle more expressive planning formalisms raise the question of what the formal meaning of "expressive power&qu...
112
click to vote
ECCV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose a variational framework for the integration multiple competing shape priors into level set based segmentation schemes. By optimizing an appropriate cost functi...
JCDL
2003
ACM
15 years 3 months ago
2003
ACM
Niche Search Engines offer an efficient alternative to traditional search engines when the results returned by general-purpose search engines do not provide a sufficient degree of...
EKAW
2006
Springer
15 years 1 months ago
2006
Springer
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...