4592 search results - page 550 / 919 » Framework for Studying Substitution |
189
click to vote
PUC
2007
15 years 7 months ago
2007
Presence-in-absence is a subjective feeling of a significant other when he or she is not physically copresent and several emerging technologies increasingly aim to support this fe...
240
click to vote
JSA
2008
15 years 7 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
212
click to vote
TMI
2008
15 years 7 months ago
2008
A method is presented for the analysis of dynamic positron emission tomography (PET) data using sparse Bayesian learning. Parameters are estimated in a compartmental framework usin...
138
click to vote
IANDC
2010
15 years 6 months ago
2010
We study the set TA of infinite binary trees with nodes labelled in a semiring A from a coalgebraic perspective. We present coinductive definition and proof principles based on ...
188
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
— The problem of simultaneous localization and mapping (SLAM) is one of the most studied in the robotics literature. Most existing approaches, however, focus on scenarios where l...