4463 search results - page 308 / 893 » computing 2000 |
173
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
152
click to vote
DARE
2000
15 years 8 months ago
2000
BUILD-IT is a planning tool based on computer vision technology, supporting complex planning and composition tasks. A group of people, seated around a table, interact with objects...
150
click to vote
DARE
2000
15 years 8 months ago
2000
Informative art is computer augmented, or amplified, works of art that not only are aesthetical objects but also information displays, in as much as they dynamically reflect infor...
189
click to vote
ICMAS
2000
15 years 8 months ago
2000
Combinatorial auctions are important as they enable bidders to place bids on combinations of items; compared to other auction mechanisms, they often increase the efficiency of the...
124
click to vote
ANLP
1997
15 years 8 months ago
1997
In computational morphology the two-level paradigm is regarded as a standard in this paper we describe CATMORF, the rst wide-coverage multi two-level steps morphological analyzer ...