Sciweavers

4767 search results - page 266 / 954
» Structures for Abstract Rewriting
Sort
View
IPMI
2007
Springer
16 years 8 months ago
Adaptive Time-Frequency Models for Single-Trial M/EEG Analysis
Abstract. A new method is introduced for estimating single-trial magnetoor electro-encephalography (M/EEG), based on a non-linear fit of timefrequency atoms. The method can be appl...
Christian Bénar, Maureen Clerc, Théo...
VLSID
2003
IEEE
253views VLSI» more  VLSID 2003»
16 years 7 months ago
High Level Synthesis from Sim-nML Processor Models
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
Souvik Basu, Rajat Moona
BTW
2007
Springer
127views Database» more  BTW 2007»
16 years 1 months ago
An Adaptive Storage Manager for XML Documents
Abstract. Effective and efficient management and manipulation of XML documents requires stable decisions at the time a document enters the XML DBMS to provide for storage structure...
Karsten Schmidt 0002, Theo Härder
ICDT
2007
ACM
133views Database» more  ICDT 2007»
16 years 1 months ago
XML Schema Mappings in the Presence of Key Constraints and Value Dependencies
Abstract. Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data...
Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner
MFCS
2007
Springer
16 years 1 months ago
Combinatorial Proof that Subprojective Constraint Satisfaction Problems are NP-Complete
Abstract. We introduce a new general polynomial-time constructionthe fibre construction- which reduces any constraint satisfaction problem CSP(H) to the constraint satisfaction pr...
Jaroslav Nesetril, Mark H. Siggers