1257 search results - page 103 / 252 » Simplifying spline models |
124
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
97
Voted
AICT
2006
IEEE
15 years 9 months ago
2006
IEEE
Spoken language education plays an important role in modern language courses. Computer-based spoken language test systems provide a convenient, efficient and reliable approach to ...
128
click to vote
PDCAT
2005
Springer
15 years 8 months ago
2005
Springer
Grid and service computing technologies have been explored by enterprises to promote integration, sharing, and collaboration. However, quick response to business environment chang...
145
click to vote
CSMR
2004
IEEE
15 years 7 months ago
2004
IEEE
Usually software is maintained by people different from those who developed it. In this context the maintenance activities are dominated by the comprehension effort. The study of ...
128
click to vote
INTERACT
2007
15 years 4 months ago
2007
User Interface (UI) plasticity denotes UI adaptation to the context of use (user, platform, physical and social environments) while preserving usability. In this article, we focus ...