305 search results - page 38 / 61 » An Extension of System F with Subtyping |
78
Voted
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Let X be a discrete random variable with support S and f : S S be a bijection. Then it is wellknown that the entropy of X is the same as the entropy of f(X). This entropy preserva...
SIGGRAPH
1991
ACM
15 years 3 months ago
1991
ACM
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...
ENVSOFT
2006
14 years 11 months ago
2006
GREAT-ER (Geography-referenced Regional Exposure Assessment Tool for European Rivers) is a model system for predicting chemical fate and exposure in surface waters. The GREAT-ER a...
119
Voted
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
101
click to vote
TISSEC
2010
14 years 6 months ago
2010
Storage-based intrusion detection allows storage systems to transparently watch for suspicious activity. Storage systems are well-positioned to spot several common intruder action...