Sciweavers

805 search results - page 89 / 161
» On the Semantics of Conditional Commitment
Sort
View
ISCA
1995
IEEE
120views Hardware» more  ISCA 1995»
15 years 3 months ago
Unconstrained Speculative Execution with Predicated State Buffering
Speculative execution is execution of instructions before it is known whether these instructions should be executed. Compiler-based speculative execution has the potential to achi...
Hideki Ando, Chikako Nakanishi, Tetsuya Hara, Masa...
JAPLL
2008
91views more  JAPLL 2008»
14 years 12 months ago
Undoing the effects of action sequences
In this paper, we study the following basic problem: After having executed a sequence of actions, find a sequence of actions that brings the agent back to the state just before th...
Thomas Eiter, Esra Erdem, Wolfgang Faber
ISI
2006
Springer
14 years 12 months ago
An Embedded Bayesian Network Hidden Markov Model for Digital Forensics
In the paper we combine a Bayesian Network model for encoding forensic evidence during a given time interval with a Hidden Markov Model (EBN-HMM) for tracking and predicting the de...
Olivier Y. de Vel, Nianjun Liu, Terry Caelli, Tib&...
SYNTHESE
2008
83views more  SYNTHESE 2008»
14 years 11 months ago
Persons, animals, and identity
The paper is concerned with how neo-Lockean accounts of personal identity should respond to the challenge of animalist accounts. Neo-Lockean accounts that hold that persons can cha...
Sydney Shoemaker
ALIFE
2004
14 years 11 months ago
Basic Autonomy as a Fundamental Step in the Synthesis of Life
In the search for the primary roots of autonomy (a pivotal concept in Varela's comprehensive understanding of living beings), the theory of autopoiesis provided an explicit cr...
Kepa Ruiz-Mirazo, Alvaro Moreno