Sciweavers

940 search results - page 78 / 188
» Rules and Strategies in Java
Sort
View
132
Voted
LCPC
1995
Springer
15 years 4 months ago
V-cal: A Calculus for the Compilation of Data Parallel Languages
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
P. F. G. Dechering, J. A. Trescher, J. P. M. de Vr...
IJCAI
1989
15 years 1 months ago
The Search Ahead Conflict Resolution for Parallel Firing of Production Systems
To explore the parallelism among rules is one of the ways to increase the speed of production systems. In this paper, an Object Pattern Matching model is proposed to interpret the...
Chinh-Chi Hsu, Feng-Hsu Wang
147
Voted
GECCO
2008
Springer
178views Optimization» more  GECCO 2008»
15 years 1 months ago
Agent Smith: a real-time game-playing agent for interactive dynamic games
The goal of this project is to develop an agent capable of learning and behaving autonomously and making decisions quickly in a dynamic environment. The agent’s environment is a...
Ryan K. Small
TSP
2010
14 years 7 months ago
Optimal linear fusion for distributed detection via semidefinite programming
Consider the problem of signal detection via multiple distributed noisy sensors. We propose a linear decision fusion rule to combine the local statistics from individual sensors i...
Zhi Quan, Wing-Kin Ma, Shuguang Cui, Ali H. Sayed
CORR
2010
Springer
165views Education» more  CORR 2010»
15 years 22 days ago
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
Rajeev Goré, Linda Postniece, Alwen Tiu