Sciweavers

3825 search results - page 418 / 765
» The Language of Time: A Reader
Sort
View
CP
2003
Springer
16 years 2 days ago
Applying Interchangeability Techniques to the Distributed Breakout Algorithm
This paper presents two methods for improving the performance of the Distributed Breakout Algorithm using the notion of interchangeability. In particular, we use neighborhood part...
Adrian Petcu, Boi Faltings
FCCM
2002
IEEE
109views VLSI» more  FCCM 2002»
15 years 11 months ago
Compiling ATR Probing Codes for Execution on FPGA Hardware
This paper describes the implementation of an automatic target recognition ATR Probing algorithm on a recon gurable system, using the SA-C programming language and optimizing co...
A. P. Wim Böhm, J. Ross Beveridge, Bruce A. D...
181
Voted
IEEEPACT
2002
IEEE
15 years 11 months ago
Speculative Alias Analysis for Executable Code
Optimizations performed at link time or directly applied to final program executables have received increased attention in recent years. Such low-level optimizations can benefit...
Manel Fernández, Roger Espasa
MICAI
2009
Springer
15 years 11 months ago
Planning for Conditional Learning Routes
Abstract. This paper builds on a previous work in which an HTN planner is used to obtain learning routes expressed in the standard language IMS-LD and its main contribution is the ...
Lluvia Morales, Luis A. Castillo, Juan Ferná...
212
Voted
CEEMAS
2001
Springer
15 years 11 months ago
A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment...
Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijng...