Sciweavers

1064 search results - page 61 / 213
» Disjoint Systems (Extended Abstract)
Sort
View
ICECCS
2007
IEEE
110views Hardware» more  ICECCS 2007»
14 years 2 months ago
Formally Counting Electronic Votes (But Still Only Trusting Paper)
In this extended abstract we summarize our consulting work, scientiļ¬c research, and activism in the topic of electronic (computer-based) voting. The Dutch and Irish governmentā€...
Joseph Kiniry
ISCAS
2006
IEEE
65views Hardware» more  ISCAS 2006»
14 years 1 months ago
Precoded V-BLAST for ISI MIMO channels
Abstractā€” The V-BLAST (vertical Bell labs layered spacetime) system is one of the MIMO systems designed to achieve a good multiplexing gain. In the recent literature, a V-BLAST p...
Chun-Yang Chen, P. P. Vaidyanathan
ICN
2005
Springer
14 years 1 months ago
Scalability and Robustness of Virtual Multicast for Synchronous Multimedia Distribution
Abstract. A simple UDP packet reļ¬‚ector for virtual multicast multimedia transfer is extended to form a distributed system of active elements that solves the scalability problem o...
Petr Holub, Eva Hladká, Ludek Matyska
CADE
2000
Springer
14 years 6 hour ago
An Infrastructure for Intertheory Reasoning
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
William M. Farmer
ECTEL
2006
Springer
13 years 11 months ago
Language Technology for eLearning
Abstract. Given the huge amount of static and dynamic content created for eLearning tasks, the major challenge for extending their use is to improve the effectiveness of retrieval ...
Paola Monachesi, Lothar Lemnitzer, Kiril Ivanov Si...