5810 search results - page 309 / 1162 » An Approach to Programming Based on Concepts |
177
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...
195
click to vote
DAGM
1997
Springer
15 years 10 months ago
1997
Springer
A novel approach to the computation of an approximate estimate of spatial object pose from camera images is proposed. The method is based on a neural network that generates pose hy...
186
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Communication among agents requires a common vocabulary to facilitate successful information exchange. One way to achieve this is to assume the existence of a common ontology amon...
154
click to vote
HPN
1998
15 years 8 months ago
1998
With the grown popularity of the Internet and the increasing use of business and multimedia applications the users' demand for higher and more predictable quality of service ...
175
click to vote
COMPSEC
2006
15 years 6 months ago
2006
To address national needs for computer security education, many universities have incorporated computer and security courses into their undergraduate and graduate curricula. In th...