305 search results - page 20 / 61 » An Extension of System F with Subtyping |
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Description of a system to detect facial expressions using an agent-based approach is presented. The system utilizes interaction between Matlab-based image filters and a JADEbased...
WICSA
2008
13 years 9 months ago
2008
Modern systems modelling languages frequently support the use of multiple views in order to provide flexible, extensible, and rich mechanisms for capturing system characteristics....
SIAMSC
2010
13 years 6 months ago
2010
Abstract. A smoothed aggregation multigrid method is presented for the numerical calculation of the stationary probability vector of an irreducible sparse Markov chain. It is shown...
SIGADA
2004
Springer
14 years 28 days ago
2004
Springer
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
ZUM
1998
Springer
13 years 11 months ago
1998
Springer
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...