5550 search results - page 25 / 1110 » Different Approaches to Proof Systems |
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
Pedagogies such as the Personal Software Process (PSP) shift metrics definition, collection, and analysis from the organizational level to the individual level. While case study r...
FGR
1998
IEEE
15 years 2 months ago
1998
IEEE
Current approaches to automated analysis have focused on a small set of prototypic expressions (e.g., joy or anger). Prototypic expressions occur infrequently in everyday life, ho...
AAAI
2007
15 years 10 days ago
2007
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. In this paper we propose a mean of performing automated Web service ...
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
The objective of image stabilization is to prevent or remove the motion blur degradation from images. We introduce a new approach to image stabilization based on combining informa...
ICML
2006
IEEE
15 years 10 months ago
2006
IEEE
We introduce relational temporal difference learning as an effective approach to solving multi-agent Markov decision problems with large state spaces. Our algorithm uses temporal ...