2335 search results - page 359 / 467 » Type Checking Type Classes |
100
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
107
click to vote
PKDD
2009
Springer
15 years 9 months ago
2009
Springer
Unlike traditional game playing, General Game Playing is concerned with agents capable of playing classes of games. Given the rules of an unknown game, the agent is supposed to pla...
114
click to vote
ICDE
2008
IEEE
15 years 9 months ago
2008
IEEE
Personalized PageRank, related to random walks with restarts and conductance in resistive networks, is a frequent search paradigm for graph-structured databases. While efficient ba...
128
click to vote
ICDM
2008
IEEE
15 years 9 months ago
2008
IEEE
Nonnegative Matrix Factorization (NMF) is a dimension reduction method that has been widely used for various tasks including text mining, pattern analysis, clustering, and cancer ...
108
click to vote
ICSM
2008
IEEE
15 years 8 months ago
2008
IEEE
More than 90% of the cost of software is due to maintenance and evolution. Understanding the evolution of large software systems is a complex problem, which requires the use of va...