3387 search results - page 438 / 678 » Model-Checking for Real-Time Systems |
155
click to vote
DELTA
2002
IEEE
16 years 1 days ago
2002
IEEE
This paper covers the concept, architecture, development and demonstration of a Smart Antenna Software Radio Test System (SASRATS). SASRATS was designed and developed as a functio...
213
click to vote
FPGA
2000
ACM
15 years 10 months ago
2000
ACM
RAKE receivers are widely used in the wireless communications industry. Currently, custom VLSI is the most popular implementation. Programmable and reconfigurable logic implementa...
184
click to vote
CG
2008
Springer
15 years 9 months ago
2008
Springer
Whole-History Rating (WHR) is a new method to estimate the time-varying strengths of players involved in paired comparisons. Like many variations of the Elo rating system, the whol...
225
Voted
CATA
2006
15 years 8 months ago
2006
This paper introduces a real time human hand simulation system. A lifelike hand model is constructed and some of the human hand constraints are applied to it. Natural hand gesture...
180
click to vote
RIAO
2004
15 years 8 months ago
2004
Monitoring user-system performance in interactive search is a challenging task. Traditional measures of retrieval evaluation, based on recall and precision, are not of any use in ...