2440 search results - page 306 / 488 » Explanation-Based Feature Construction |
163
Voted
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
150
Voted
SAC
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
171
Voted
SASN
2003
ACM
15 years 10 months ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
152
click to vote
CCS
2003
ACM
15 years 10 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
250
click to vote
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...