7430 search results - page 74 / 1486 » Programming Applications in CIFF |
AIPS
2011
12 years 11 months ago
2011
In recent years, there has been considerable interest in the use of planning techniques in new media and computer games. Many traditional planning notions no longer apply in the c...
INFORMATICALT
2000
13 years 8 months ago
2000
Abstract. In this paper we suggest a three-language (3L) paradigm for building the program generator models. The basis of the paradigm is a relationship model of the specification,...
PAMI
2007
13 years 7 months ago
2007
—We present a novel convex programming scheme to solve matching problems, focusing on the challenging problem of matching in a large search range and with cluttered background. M...
SAMOS
2010
Springer
13 years 6 months ago
2010
Springer
—Process Networks (PNs) is an appealing computation ion helping to specify an application in parallel form and realize it on parallel platforms. The key questions to be answered ...
TOPLAS
2010
13 years 6 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...