Sciweavers

4767 search results - page 266 / 954
» Structures for Abstract Rewriting
Sort
View
IPMI
2007
Springer
16 years 7 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 22 days 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 22 days 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 21 days 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