Sciweavers

2314 search results - page 291 / 463
» Monoids over domains
Sort
View
IPPS
2007
IEEE
15 years 8 months ago
Biomolecular Path Sampling Enabled by Processing in Network Storage
Computationally complex and data intensive atomic scale biomolecular simulation is enabled via Processing in Network Storage (PINS): a novel distributed system framework to overco...
Paul Brenner, Justin M. Wozniak, Douglas Thain, Aa...
LICS
2007
IEEE
15 years 8 months ago
Symmetric Datalog and Constraint Satisfaction Problems in Logspace
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
László Egri, Benoit Larose, Pascal T...
VTC
2007
IEEE
100views Communications» more  VTC 2007»
15 years 8 months ago
Downlink Steered Space-Time Spreading Assisted Generalised Multicarrier DS-CDMA Using Sphere-Packing-Aided Multilevel Coding
— This paper presents a novel generalised Multi-Carrier Direct Sequence Code Division Multiple Access (MC DS-CDMA) system invoking smart antennas for improving the achievable per...
Mohammed El-Hajjar, Ronald Y. S. Tee, Hu Bin, Lie-...
AIED
2007
Springer
15 years 8 months ago
Benefits of Handwritten Input for Students Learning Algebra Equation Solving
Building on past results establishing a benefit for using handwriting when entering mathematics on the computer, we hypothesize that handwriting as an input modality may be able to...
Lisa Anthony, Jie Yang, Kenneth R. Koedinger
AIME
2007
Springer
15 years 8 months ago
Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus
With increasing popularity of using ontologies, many industrial and clinical applications have employed ontologies as their conceptual backbone. Ontologies try to capture knowledge...
Arash Shaban-Nejad, Volker Haarslev