2646 search results - page 73 / 530 » Local Type Inference |
80
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Formulas are often monotonic in the sense that if the formula is satisfiable for given domains of discourse, it is also satisfiable for all larger domains. Monotonicity i...
111
Voted
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Recent work in object localization has shown that the use of contextual cues can greatly improve accuracy over models that use appearance features alone. Although many of these mo...
91
Voted
PAM
2009
Springer
15 years 7 months ago
2009
Springer
Despite a large amount of effort devoted in the past years trying to limit unsolicited mail, spam is still a major global concern. Content-analysis techniques and blacklists, the m...
LOCA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. People rapidly learn the capabilities of a new location, without observing every service and product. Instead they map a few observations to familiar clusters of capabili...
119
Voted
CC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Scientists are increasingly using dynamic programming languages like Matlab for prototyping and implementation. Effectively compiling Matlab raises many challenges due t...