Sciweavers

15614 search results - page 387 / 3123
» The State of State
Sort
View
FMICS
2006
Springer
15 years 10 months ago
"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand
Behrmann et al. posed the question whether "To Store or Not To Store" [1] states during reachability analysis, in order to counter the effects of the well-known state spa...
Moritz Hammer, Michael Weber
ENTCS
2006
117views more  ENTCS 2006»
15 years 6 months ago
Reasoning About Imperative Quantum Programs
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...
Rohit Chadha, Paulo Mateus, Amílcar Sernada...
FLAIRS
2006
15 years 8 months ago
Stress Recognition Using Non-invasive Technology
The need to provide computers with the ability to estimate the affective state of their users is a major requirement for the practical implementation of Affective Computing concep...
Jing Zhai, Armando Barreto
CDC
2009
IEEE
168views Control Systems» more  CDC 2009»
15 years 11 months ago
Balanced state-space representations: a polynomial algebraic approach
Abstract— We show how to compute a minimal Riccatibalanced state map and a minimal Riccati-balanced state space representation starting from an image representation of a strictly...
Paolo Rapisarda, Harry L. Trentelman
AAAI
1994
15 years 8 months ago
Learning to Explore and Build Maps
Using the methods demonstrated in this paper, a robot with an unknown sensorimotor system can learn sets of features and behaviors adequate to explore a continuous environment and...
David Pierce, Benjamin Kuipers