Sciweavers

10289 search results - page 141 / 2058
» Standard bases in K
Sort
View
ICMCS
2005
IEEE
104views Multimedia» more  ICMCS 2005»
15 years 12 months ago
Exchanging XML Multimedia Containers Using a Binary XML Protocol
XML is becoming increasingly popular as the ubiquitous standard for metadata; consequently, it is being incorporated into many multimedia applications, such as those based on MPEG...
Stephen J. Davis, Ian S. Burnett
TVCG
2008
124views more  TVCG 2008»
15 years 6 months ago
Effective visualization of complex vascular structures using a non-parametric vessel detection method
The effective visualization of vascular structures is critical for diagnosis, surgical planning as well as treatment evaluation. In recent work, we have developed an algorithm for ...
Alark Joshi, Xiaoning Qian, Donald P. Dione, Ketan...
IANDC
2010
84views more  IANDC 2010»
15 years 4 months ago
Underapproximation for model-checking based on universal circuits
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit deï...
Arie Matsliah, Ofer Strichman
DLT
2008
15 years 7 months ago
Hierarchies of Piecewise Testable Languages
The classes of languages which are boolean combinations of languages of the form A a1A a2A . . . A a A , where a1, . . . , a A, k , for a fixed k 0, form a natural hierarchy wit...
Ondrej Klíma, Libor Polák
WEBI
2001
Springer
15 years 10 months ago
Knowledge-Based Validation, Aggregation, and Visualization of Meta-data: Analyzing a Web-Based Information System
As meta-data become of ever more importance to the Web, we will need to start managing such meta-data. We argue that there is a strong need for meta-data validation and aggregation...
Heiner Stuckenschmidt, Frank van Harmelen