5084 search results - page 840 / 1017 » Proving Possibility Properties |
154
click to vote
TSMC
2011
15 years 29 days ago
2011
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
242
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
170
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
—Both the communication limitation and the measurement properties based algorithm become the bottleneck of enhancing the traditional power system state estimation speed. The avai...
192
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The aim of compressed sensing is to recover attributes of sparse signals using very few measurements. Given an overall bit budget for quantization, this paper demonstrates that th...
191
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
—Despite the proliferation of work on XML keyword query, it remains open to support keyword query over probabilistic XML data. Compared with traditional keyword search, it is far...