2560 search results - page 432 / 512 » Contributions to zero-sum problems |
117
click to vote
AISC
1998
Springer
15 years 4 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
VLDB
1998
ACM
15 years 4 months ago
1998
ACM
Users often can not easily express their queries. For example, in a multimedia image by content setting, the user might want photographs with sunsets; in current systems, like QBI...
121
click to vote
POPL
1997
ACM
15 years 4 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
100
click to vote
CHI
1996
ACM
15 years 4 months ago
1996
ACM
Email is one of the most successful computer applications yet devised. Our empirical data show however, that although email was originally designed as a communications application...
ECML
1993
Springer
15 years 4 months ago
1993
Springer
Research in systems where learning is integrated to other components like problem solving, vision, or natural language is becoming an important topic for Machine Learning. Situatio...