1699 search results - page 249 / 340 » On the Expressive Power of QLTL |
148
click to vote
VMCAI
2009
Springer
16 years 26 days ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
150
click to vote
DEXAW
2009
IEEE
16 years 25 days ago
2009
IEEE
—In this paper RDFStats is introduced, which is a generator for statistics of RDF sources like SPARQL endpoints and RDF documents. RDFStats does not only provide a statistics gen...
139
click to vote
GLVLSI
2009
IEEE
16 years 25 days ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
140
click to vote
ICASSP
2009
IEEE
16 years 25 days ago
2009
IEEE
Dataflow descriptions have been used in a wide range of Digital Signal Processing (DSP) applications, such as multi-media processing, and wireless communications. Among various f...
154
click to vote
ICRA
2009
IEEE
16 years 22 days ago
2009
IEEE
— In our recent work [1], [2], we proposed Point Feature Histograms (PFH) as robust multi-dimensional features which describe the local geometry around a point p for 3D point clo...