12084 search results - page 2230 / 2417 » Effect Systems with Subtyping |
154
click to vote
GRID
2006
Springer
15 years 3 months ago
2006
Springer
: eScience is rapidly changing the way we do research. As a result, many research labs now need non-trivial computational power. Grid and voluntary computing are well-established s...
135
click to vote
IJFCS
2006
15 years 3 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
134
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
— This paper addresses the following question, which is of interest in the design and deployment of a multiuser decentralized network. Given a total system bandwidth of W Hz and ...
133
click to vote
CVIU
2007
15 years 3 months ago
2007
Facial expression recognition is an active research area that finds a potential application in human emotion analysis. This work presents an illumination independent approach for...
146
click to vote
JSS
2008
15 years 3 months ago
2008
Advances in communication technology allow a variety of new network environments and services available very rapidly. Appearance of various network environments tends to enable a ...