Sciweavers

10458 search results - page 444 / 2092
» Modeling Features at Runtime
Sort
View
ATAL
2004
Springer
16 years 7 days ago
Mapping Mental States into Propositional Planning
Most BDI agent architectures rely on plan libraries in order to ensure bounded time for means-ends reasoning. Nevertheless, the usage of fast planning algorithms to provide the ag...
Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael C...
ISPA
2004
Springer
16 years 6 days ago
An Inspector-Executor Algorithm for Irregular Assignment Parallelization
Abstract. A loop with irregular assignment computations contains loopcarried output data dependences that can only be detected at run-time. In this paper, a load-balanced method ba...
Manuel Arenaz, Juan Touriño, Ramon Doallo
RTCSA
1999
IEEE
15 years 11 months ago
An Adaptive Thin-Client Robot Control Architecture
This paper describes an architecture and runtime system to implement distributed control and data processing applications in a thin-client manner, suitable for implementing a thin...
Tim Edmonds, Steve Hodges, Andy Hopper
ESOP
1992
Springer
15 years 11 months ago
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Jens Palsberg
NIPS
2008
15 years 8 months ago
An Efficient Sequential Monte Carlo Algorithm for Coalescent Clustering
We propose an efficient sequential Monte Carlo inference scheme for the recently proposed coalescent clustering model [1]. Our algorithm has a quadratic runtime while those in [1]...
Dilan Görür, Yee Whye Teh