6549 search results - page 705 / 1310 » Parsimonious additive models |
205
Voted
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
196
Voted
DAC
1997
ACM
15 years 11 months ago
1997
ACM
Novel test bench techniques are required to cope with a functional test complexity which is predicted to grow much more strongly than design complexity. Our test bench approach at...
187
Voted
ELPUB
1997
ACM
15 years 11 months ago
1997
ACM
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
170
Voted
VRML
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes the use of the Virtual Reality Modeling Language (VRML) in the VIM - Visual Interface to Manufacturing system. The VIM prototype demonstrates the technical fe...
199
click to vote
COSIT
1997
Springer
15 years 11 months ago
1997
Springer
We present an approach to modeling human interpretation of (real) geographic maps. While in Geographic Information Systems (GIS) the limitations for describing geographic knowledge...