1216 search results - page 118 / 244 » Hybrid type checking |
140
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
115
click to vote
HAPTICS
2003
IEEE
15 years 9 months ago
2003
IEEE
It seems likely that humans build internal models of objects that they explore haptically, and that the complexity of an internal model is not necessarily associated with complex ...
135
click to vote
VCIP
2003
15 years 5 months ago
2003
Two types of coders dominate the field of video compression research today: well-established hybrid coders, that are in the core of all MPEG and H.26X standards, and emerging thr...
173
click to vote
HAIS
2011
Springer
14 years 7 months ago
2011
Springer
One of the main problems that modern e-mail systems face is the management of the high degree of spam or junk mail they recieve. Those systems are expected to be able to distinguis...
140
click to vote
HOTOS
2007
IEEE
15 years 7 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...