8060 search results - page 1314 / 1612 » Adaptive BICM-OFDM Systems |
189
click to vote
FUIN
2006
15 years 6 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
195
Voted
MAGS
2008
15 years 6 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
168
click to vote
MAM
2006
15 years 6 months ago
2006
Reconfigurable systems can offer the high spatial parallelism and fine-grained, bit-level resource control traditionally associated with hardware implementations, along with the f...
203
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
This paper gives a technical description of Creatures, a commercial home-entertainment software package. Creatures provides a simulated environment in which exist a number of synt...
190
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
We propose an infotainment presentation system that relies on eye gaze as an intuitive and unobtrusive input modality. The system analyzes eye movements in real-time to infer user...