12774 search results - page 2233 / 2555 » A Framework for Proof Systems |
155
click to vote
EDOC
2006
IEEE
16 years 27 days ago
2006
IEEE
Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an approach...
205
click to vote
EUROMICRO
2006
IEEE
16 years 27 days ago
2006
IEEE
Software architecture description languages (ADLs) were a particularly active research area in the 1990s. In 2000, we published an extensive study of existing ADLs, which has serv...
218
click to vote
FGR
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper, a novel sparse feature set is introduced into the Adaboost learning framework for multi-view face detection (MVFD), and a learning algorithm based on heuristic sear...
202
click to vote
GLOBECOM
2006
IEEE
16 years 27 days ago
2006
IEEE
— In this paper, we propose a Stackelberg game theoretic framework for distributive resource allocation over multiuser cooperative communication networks to improve the system pe...
167
click to vote
GMP
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract. This paper presents the mathematical framework, and develops algorithms accordingly, to continuously and robustly track the intersection curves of two deforming parametri...