Sciweavers

1980 search results - page 318 / 396
» On the Associative Nijenhuis Relation
Sort
View
FOCS
1994
IEEE
14 years 3 months ago
A Spectral Approach to Lower Bounds
We establish a nonlinear lower bound for halfplane range searching over a group. Specifically, we show that summing up the weights of n (weighted) points within n halfplanes requir...
Bernard Chazelle
CIKM
1994
Springer
14 years 3 months ago
A Semantics Approach for KQML - A General Purpose Communication Language for Software Agents
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...
Yannis Labrou, Timothy W. Finin
ECAIW
1994
Springer
14 years 3 months ago
Agent Theories, Architectures, and Languages: A Survey
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
Michael Wooldridge, Nicholas R. Jennings
HYBRID
1994
Springer
14 years 3 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
ECAI
1992
Springer
14 years 3 months ago
A Common-Sense Theory of Time
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for pe...
Yuen Q. Lin