439 search results - page 79 / 88 » Type invariants for Haskell |
BIRTHDAY
2003
Springer
13 years 11 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
CEAS
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents a methodology for the characterization of spamming strategies based on the identification of spam campaigns. To deeply understand how spammers abuse network re...
ECCV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In the matching tasks which form an integral part of all types of tracking and geometrical vision, there are invariably priors available on the absolute and/or relative i...
FORTE
2008
13 years 9 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
NIPS
2000
13 years 9 months ago
2000
Recent work has exploited boundedness of data in the unsupervised learning of new types of generative model. For nonnegative data it was recently shown that the maximum-entropy ge...