1842 search results - page 107 / 369 » Measurable systems and behavioral sciences |
133
click to vote
MST
2008
15 years 6 months ago
2008
The Turing and many-one completeness notions for NP have been previously separated under measure, genericity, and bi-immunity hypotheses on NP. The proofs of all these results rel...
167
click to vote
HICSS
2006
IEEE
16 years 17 days ago
2006
IEEE
Our paper presents a new IT governance framework and introduces an assessment tool designed to measure its effectiveness. The framework builds on the integration between the struc...
148
click to vote
IJCAI
2007
15 years 8 months ago
2007
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
189
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
The evaluation of power consumption in complex digital systems is a hard task that normally requires long simulation time and complicated models. In this work, we obtain power con...
194
click to vote
IJCAI
2001
15 years 7 months ago
2001
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...