1982 search results - page 307 / 397 » Parametricity and dependent types |
PICS
2003
14 years 11 months ago
2003
In order to recover spectral reflectances or transmittances using a multispectral imaging based technique, it is necessary to know the spectral radiance of the illuminant used to ...
COLING
2000
14 years 11 months ago
2000
Typical approaches to XML authoring view a XML document as a mixture of structure (the tags) and surface (text between the tags). We advocate a radical approach where the surface ...
ICMAS
1998
14 years 11 months ago
1998
In automated negotiation systems consisting of selfinterested agents, contracts have traditionally been binding, i.e., impossible to breach. Such contracts do not allow the agents...
WSCG
2003
14 years 11 months ago
2003
The use of Virtual Environments as a user interface can be important for certain types of applications, especially in the fields of education and entertainment. These synthetic wo...
101
click to vote
ICIS
2000
14 years 11 months ago
2000
As the basis of value creation increasingly depends on the leverage of the intangible assets of firms, Knowledge Management Systems (KMS) are emerging as powerful sources of compe...