Sciweavers

3172 search results - page 181 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
VL
2007
IEEE
157views Visual Languages» more  VL 2007»
16 years 1 months ago
Spider Diagrams of Order
Spider diagrams are a visual logic capable of makeing statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been...
Aidan Delaney, Gem Stapleton
VTC
2007
IEEE
109views Communications» more  VTC 2007»
16 years 1 months ago
Compact Multi-user Wideband MIMO System using Multiple-Mode Microstrip Antennas
—A complete multiple-input multiple-output (MIMO) communication system with orthogonal frequency-division multiplexing (OFDM) based on multiple excitation modes for a single circ...
Amitav Mukherjee, Hyuck M. Kwon
AIMS
2007
Springer
16 years 1 months ago
Modeling Change Without Breaking Promises
Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change ov...
Alva L. Couch, Hengky Susanto, Marc Chiarini
EUROPAR
2007
Springer
16 years 1 months ago
Parallelization of Bulk Operations for STL Dictionaries
STL dictionaries like map and set are commonly used in C++ programs. We consider parallelizing two of their bulk operations, namely the construction from many elements, and the ins...
Leonor Frias, Johannes Singler
FROCOS
2007
Springer
16 years 1 months ago
Temporal Logic with Capacity Constraints
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
Clare Dixon, Michael Fisher, Boris Konev