5550 search results - page 819 / 1110 » Different Approaches to Proof Systems |
215
click to vote
COMCOM
2006
15 years 6 months ago
2006
The needs for run-time data storage in modern wired and wireless network applications are increasing. Additionally, the nature of these applications is very dynamic, resulting in ...
156
click to vote
TASLP
2008
15 years 6 months ago
2008
The parallel phone recognition followed by language model (PPRLM) architecture represents one of the state-of-the-art spoken language identification systems. A PPRLM system compris...
173
click to vote
JSAC
2007
15 years 6 months ago
2007
— We propose to add a new dimension to existing wireless multimedia systems by enabling autonomous stations to dynamically compete for communication resources through adjustment ...
194
click to vote
VR
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper addresses the issue of improving the perception of contact that users make with purely virtual objects in virtual environments. Because these objects have no physical c...
216
click to vote
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
The issues of compiler optimization phase ordering and selection present important challenges to compiler developers in several domains, and in particular to the speed, code size,...