Sciweavers

3457 search results - page 311 / 692
» A Symbol Is Not a Symbol
Sort
View
163
Voted
VMCAI
2009
Springer
16 years 1 months ago
Mixed Transition Systems Revisited
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
Ou Wei, Arie Gurfinkel, Marsha Chechik
ICC
2009
IEEE
141views Communications» more  ICC 2009»
16 years 1 months ago
Differential Space-Time-Frequency Codes for MB-OFDM UWB with Dual Carrier Modulation
Abstract—In a multiple-input multiple-output (MIMO) multiband orthogonal frequency division multiplexing (MB-OFDM) ultra-wideband (UWB) system, coherent detection where the chann...
Le Chung Tran, Alfred Mertins
ICDM
2009
IEEE
97views Data Mining» more  ICDM 2009»
16 years 1 months ago
Hierarchical Probabilistic Segmentation of Discrete Events
—Segmentation, the task of splitting a long sequence of discrete symbols into chunks, can provide important information about the nature of the sequence that is understandable to...
Guy Shani, Christopher Meek, Asela Gunawardana
AIED
2009
Springer
16 years 1 months ago
Intelligent Tutoring Systems with Multiple Representations and Self-Explanation Prompts Support Learning of Fractions
Although a solid understanding of fractions is foundational in mathematics, the concept of fractions remains a challenging one. Previous research suggests that multiple graphical r...
Martina A. Rau, Vincent Aleven, Nikol Rummel
ASIACRYPT
2009
Springer
16 years 1 months ago
On the Analysis of Cryptographic Assumptions in the Generic Ring Model
At Eurocrypt 2009 Aggarwal and Maurer proved that breaking RSA is equivalent to factoring in the generic ring model. This model captures algorithms that may exploit the full algeb...
Tibor Jager, Jörg Schwenk