6740 search results - page 231 / 1348 » Using Classification as a Programming Language |
120
click to vote
GAMEON
2000
15 years 3 months ago
2000
"Game AI" is the high-level control code for computer entertainment applications. Games are diverse, and the nature of game AI reflects this diversity. However, game AI,...
110
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
Today, the choice for a particular programming language limits the alternative products that can be used to deploy the program. The purpose of this work is to break the strong tie...
214
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
94
Voted
SIGADA
1999
Springer
15 years 6 months ago
1999
Springer
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying “off-the-self” items to meet their ...
112
Voted
JUCS
2006
15 years 2 months ago
2006
: PEWS is a language for the implementation of web service interfaces. PEWS programs can be used for the description of both individual and composed web services. Individual web se...