5170 search results - page 349 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
187
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
160
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
In this paper, we study the property of generic uniform observability for structured bilinear systems. More precisely, to check whether or not a structured bilinear system generic...
172
click to vote
NOSSDAV
2005
Springer
16 years 8 days ago
2005
Springer
Systems that use or serve multimedia data require timely access to data on hard drives. To ensure adequate performance users must either prevent overload of disk resources, or use...
147
click to vote
AH
2006
Springer
16 years 23 days ago
2006
Springer
The volume of course-related information available to students is rapidly increasing. This abundance of information has created the need to help students find, organize, and use re...
205
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...