2196 search results - page 79 / 440 » Practical Reasoning Using Values |
154
click to vote
ISCA
2002
IEEE
15 years 9 months ago
2002
IEEE
We propose a scheme for transient-fault recovery called Simultaneously and Redundantly Threaded processors with Recovery (SRTR) that enhances a previously proposed scheme for tran...
124
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
162
click to vote
DLOG
2011
14 years 8 months ago
2011
We show that deciding conjunctive query inseparability for OWL 2 QL ontologies is PSpace-hard and in ExpTime. We give polynomial-time (incomplete) algorithms and demonstrate by exp...
129
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Performance of cross-layer protocols that recommend the relay of corrupted packets to higher layers can be improved significantly by accurately inferring/predicting the bit erro...
114
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- The paper analyzes a strategy to force stepconvergent dynamical hysteretic systems to a well-defined output value using only feed forward. Due to the multi-valued input-...