11797 search results - page 384 / 2360 » Recent Developments in the Experimental |
165
Voted
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
197
Voted
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
Ambient Intelligence has acquired great importance in recent years and requires the development of new innovative solutions. This paper presents a novel architecture which integrat...
155
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This article addresses the invertibility problem for switched nonlinear systems affine in controls. The problem is concerned with finding the input and switching signal uniqu...
147
Voted
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—IMS Learning Design (LD) has emerged as one of the most significant developments in education technology recently. As focusing on learning processes and activities in E-learning...
159
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We address the problem of similarity metric selection in pairwise affinity clustering. Traditional techniques employ standard algebraic context-independent sample-distance measur...