Sciweavers

9182 search results - page 258 / 1837
» Requirements for Requirements Management Tools
Sort
View
155
Voted
TELSYS
2002
126views more  TELSYS 2002»
15 years 5 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
FTCIT
2007
77views more  FTCIT 2007»
15 years 5 months ago
Cyclic Division Algebras: A Tool for Space-Time Coding
Multiple antennas at both the transmitter and receiver ends of a wireless digital transmission channel may increase both data rate and reliability. Reliable high rate transmission...
Frédérique E. Oggier, Jean-Claude Be...
HICSS
2009
IEEE
129views Biometrics» more  HICSS 2009»
16 years 26 days ago
Using Collaborative Filtering Algorithms as eLearning Tools
Collaborative information filtering techniques play a key role in many Web 2.0 applications. While they are currently mainly used for business purposes such as product recommendat...
Frank Loll, Niels Pinkwart
LREC
2010
216views Education» more  LREC 2010»
15 years 7 months ago
BlogBuster: A Tool for Extracting Corpora from the Blogosphere
This paper presents BlogBuster, a tool for extracting a corpus from the blogosphere. The topic of cleaning arbitrary web pages with the goal of extracting a corpus from web data, ...
Georgios Petasis, Dimitrios Petasis
IJET
2008
108views more  IJET 2008»
15 years 6 months ago
Moving towards a Fully Automatic Knowledge Assessment Tool
Information about a student's level or state of knowledge is a key aspect for efficient, personalized learning activities. E-learning systems gain such information in two ways...
Christian Guetl