395 search results - page 60 / 79 » Decision Problems for Convex Languages |
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...
CICLING
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we describe systems for automatic labeling of time expressions occurring in English and Chinese text as specified in the ACE Temporal Expression Recognition and Nor...
ATAL
2004
Springer
14 years 27 days ago
2004
Springer
The missing of an appropriate semantics of agent communication languages is one of the most challenging issues of contemporary AI. Although several approaches to this problem exis...
KCAP
2003
ACM
14 years 22 days ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...