10392 search results - page 1783 / 2079 » Introduction to Computer Science |
171
click to vote
LICS
2005
IEEE
16 years 6 days ago
2005
IEEE
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...
145
click to vote
LICS
2005
IEEE
16 years 6 days ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
172
click to vote
LICS
2005
IEEE
16 years 6 days ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
197
click to vote
VISUALIZATION
2005
IEEE
16 years 6 days ago
2005
IEEE
Diffusion tensor imaging is a magnetic resonance imaging method which has gained increasing importance in neuroscience and especially in neurosurgery. It acquires diffusion proper...
190
click to vote
VISUALIZATION
2005
IEEE
16 years 6 days ago
2005
IEEE
In this case study, a data-oriented approach is used to visualize a complex digital signal processing pipeline. The pipeline implements a Frequency Modulated (FM) Software-Defined...