Sciweavers

718 search results - page 107 / 144
» From decision theory to decision aiding methodology
Sort
View
WWW
2011
ACM
15 years 1 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»
15 years 27 days 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
14 years 6 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
16 years 15 days 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 10 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