Sciweavers

2272 search results - page 224 / 455
» Validity Invariants and Effects
Sort
View
CAISE
2008
Springer
14 years 23 days ago
Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems
Although requirements analysis is acknowledged as a critical success factor of information system development for organizations, problems related to the requirements stage are freq...
José Luis de la Vara, Juan Sánchez, ...
AI
2006
Springer
14 years 22 days ago
A Smart Home Agent for Plan Recognition
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
Bruno Bouchard, Sylvain Giroux, Abdenour Bouzouane
DAGM
2006
Springer
14 years 22 days ago
A Multiple Graph Cut Based Approach for Stereo Analysis
This paper presents an optimization framework for the 3D reconstruction of the surfaces from stereo image pairs. The method is based on employing popular graph cut methods under th...
Ulas Vural, Yusuf Sinan Akgul
QOSA
2010
Springer
14 years 17 days ago
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...
Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, ...
DEXA
2008
Springer
90views Database» more  DEXA 2008»
14 years 16 days ago
Knowledge Mining for the Business Analyst
There is an extensive literature on data mining techniques, including several applications of these techniques in the e-commerce setting. However, all previous approaches require t...
Themis Palpanas, Jakka Sairamesh