Sciweavers

1699 search results - page 292 / 340
» On the Expressive Power of QLTL
Sort
View
TCS
2008
15 years 5 months ago
A timed semantics of Orc
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
Ian Wehrman, David Kitchin, William R. Cook, Jayad...
IS
2007
15 years 5 months ago
Matching large schemas: Approaches and evaluation
Current schema matching approaches still have to improve for large and complex Schemas. The large search space increases the likelihood for false matches as well as execution time...
Hong Hai Do, Erhard Rahm
TWC
2008
118views more  TWC 2008»
15 years 5 months ago
Electromagnetic considerations for communicating on correlated MIMO channels with covariance information
Previous results for correlated block-fading MIMO channels with covariance information indicate guaranteed capacity growth with additional transmit elements and that in rapidly fa...
Jon W. Wallace, Michael A. Jensen
TWC
2008
133views more  TWC 2008»
15 years 5 months ago
Analytical results about the robustness of FMT modulation with several prototype pulses in time-frequency selective fading chann
In this paper we study the performance of Filtered Multitone (FMT) modulation systems in time-frequency selective fading channels. FMT generalizes the OFDM scheme through the deplo...
Andrea M. Tonello, Francesco Pecile
VLC
2008
88views more  VLC 2008»
15 years 5 months ago
Towards a specification of the ToonTalk language
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...
Leonel Morgado, Ken Kahn