Sciweavers

8086 search results - page 1286 / 1618
» On the Implementation of Dynamic Patterns
Sort
View
WFLP
2009
Springer
239views Algorithms» more  WFLP 2009»
16 years 24 days ago
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation
A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule—like Prolog’s leftmost selection rule—allows one...
Michael Leuschel, Salvador Tamarit, Germán ...
ARCS
2009
Springer
16 years 24 days ago
Ultra-Fast Downloading of Partial Bitstreams through Ethernet
Abstract. In this paper we present a partial bitstreams ultra-fast downloading process through a standard Ethernet network. These Virtex-based and partially reconfigurable systems...
Pierre Bomel, Jeremie Crenne, Linfeng Ye, Jean-Phi...
ATAL
2009
Springer
16 years 24 days ago
A framework for monitoring agent-based normative systems
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a mean...
Sanjay Modgil, Noura Faci, Felipe Rech Meneguzzi, ...
DCOSS
2009
Springer
16 years 23 days ago
LazySync: A New Synchronization Scheme for Distributed Simulation of Sensor Networks
To meet the demands for high simulation fidelity and speed, parallel and distributed simulation techniques are widely used in building wireless sensor network simulators. However,...
Zhong-Yi Jin, Rajesh Gupta
149
Voted
ESAW
2009
Springer
16 years 23 days ago
Incorporating BDI Agents into Human-Agent Decision Making Research
Artificial agents, people, institutes and societies all have the ability to make decisions. Decision making as a research area therefore involves a broad spectrum of sciences, ran...
Bart Kamphorst, Arlette van Wissen, Virginia Dignu...
« Prev « First page 1286 / 1618 Last » Next »