3690 search results - page 271 / 738 » Computation with classical sequents |
130
Voted
ETRA
2008
ACM
15 years 7 months ago
2008
ACM
Nowadays various are the situations in which people need to interact with a Personal Computer without having the possibility to use traditional pointing devices, such as a keyboar...
117
click to vote
IJCAI
2007
15 years 6 months ago
2007
Classic direct mechanisms require full type (or utility) revelation from participating agents, something that can be very difficult in practical multi-attribute settings. In this...
128
click to vote
NIPS
2007
15 years 6 months ago
2007
Machine learning techniques are increasingly being used to produce a wide-range of classifiers for complex real-world applications that involve nonuniform testing costs and miscl...
141
click to vote
FORTE
2004
15 years 6 months ago
2004
Internet software tightly integrates classic computation with communication software. Heterogeneity and complexity can be tackled with a component-based approach, where components ...
168
click to vote
ICISC
1998
15 years 6 months ago
1998
The classical role of a firewall consists in protecting a computer network against attacks from the outside world, especially the Internet. Firewalls are often expensive, hard to c...