2335 search results - page 299 / 467 » Type Checking Type Classes |
97
Voted
ACL
2006
15 years 2 months ago
2006
In this paper we propose a small set of lexical conceptual relations which allow to encode adjectives in computational relational lexica in a principled and integrated way. Our ma...
110
click to vote
ACSW
2006
15 years 2 months ago
2006
Most languages used for developing web services and clients exhibit properties which make calling remote functions across a network a non-trivial task. The type systems used by ob...
81
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
108
click to vote
IADIS
2004
15 years 2 months ago
2004
This paper describes a framework that aims to give a help both for people who organize examination and for students who want to self test their own knowledge level. The two aspect...
94
Voted
IJCAI
2001
15 years 2 months ago
2001
We study the impact of backbones in optimization and approximation problems. We show that some optimization problems like graph coloring resemble decision problems, with problem h...