Sciweavers

718 search results - page 107 / 144
» From decision theory to decision aiding methodology
Sort
View
WWW
2011
ACM
14 years 4 months ago
Identifying enrichment candidates in textbooks
Many textbooks written in emerging countries lack clear and adequate coverage of important concepts. We propose a technological solution for algorithmically identifying those sect...
Rakesh Agrawal, Sreenivas Gollapudi, Anitha Kannan...
PAMI
2010
190views more  PAMI 2010»
14 years 4 months ago
Linear Regression for Face Recognition
In this paper, we present a novel approach of face identification by formulating the pattern recognition problem in terms of linear regression. Using a fundamental concept that pat...
Imran Naseem, Roberto Togneri, Mohammed Bennamoun
BIRTHDAY
2011
Springer
13 years 9 months ago
Multisimulations: Towards Next Generation Integrated Simulation Environments
In this paper, we consider the challenge of designing a reflective middleware to integrate multiple autonomous simulation models into an integrated simulation environment (multiasi...
Leila Jalali, Sharad Mehrotra, Nalini Venkatasubra...
LICS
2008
IEEE
15 years 4 months ago
Reachability Games and Game Semantics: Comparing Nondeterministic Programs
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
Andrzej S. Murawski
EMSOFT
2009
Springer
15 years 1 months ago
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
Marc Pouzet, Pascal Raymond