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 24 days 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 24 days 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 21 days 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 21 days 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 21 days 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