12373 search results - page 120 / 2475 » Semi-Logarithmic Number Systems |
RTAS
2000
IEEE
14 years 2 months ago
2000
IEEE
Congested networks and overloaded servers resulting from the ever growing number of Internet users contribute to the lack of good quality video streaming over the Internet. We pro...
CORR
2000
Springer
13 years 10 months ago
2000
Springer
This paper takes a computational learning theory approach to a problem of linear systems identification. It is assumed that inputs are generated randomly from a known class consist...
SIAMCO
2002
13 years 9 months ago
2002
In this paper we develop and present new convex synthesis conditions for robust performance in linear time-varying systems, subject to time-varying perturbations. In particular, th...
ICFEM
2010
Springer
13 years 8 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
AIED
2011
Springer
13 years 1 months ago
2011
Springer
Many Intelligent Tutoring Systems (ITSs) have started to incorporate game-based components in an attempt to improve student engagement during system interactions. iSTART-ME is a ne...