3591 search results - page 362 / 719 » Typing linear constraints |
182
click to vote
FLOPS
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
182
click to vote
SCALESPACE
1999
Springer
15 years 11 months ago
1999
Springer
We develop on estimation method, for the derivative field of an image based on Bayesian approach which is formulated in a geometric way. The Maximum probability configuration of ...
243
click to vote
ECOWS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
131
click to vote
AAAI
2007
15 years 9 months ago
2007
The goal of our current research is machine learning with the help and guidance of a knowledge base (KB). Rather than learning numerical models, our approach generates explicit sy...
168
click to vote
WCE
2007
15 years 8 months ago
2007
—Applying nonequilibrium statistical mechanics we focus on nonequilibrium corrections Δs to entropy and energy of the fluid in terms of the nonequilibrium density distribution f...