4350 search results - page 399 / 870 » Case studies for contract-based systems |
177
click to vote
FMCAD
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
159
click to vote
3DIM
2003
IEEE
16 years 5 days ago
2003
IEEE
We present a case study of scanning 3D objects for the purposes of education and public information. We begin by describing the original design of a 3D scanning system now in use ...
162
Voted
ICDAR
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper highlights the interest of a language model in increasing the performances of on-line handwriting recognition systems. Models based on statistical approaches, trained o...
171
click to vote
IWPSE
2003
IEEE
16 years 4 days ago
2003
IEEE
In modern software engineering, researchers regard a software system as an organic life form that must continue to evolve to remain successful. Unfortunately, little is known abou...
224
Voted
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
In this poster, we will propose a framework for finding, recommending and inserting learning objects in a digital repository level, exploiting the user context that is captured fro...