3844 search results - page 205 / 769 » Modular interpreted systems |
109
Voted
3DPH
2009
15 years 4 months ago
2009
Disorientation induced by G-forces during aerobatic flight generates difficulties for the pilots to perfectly align their aerobatic maneuver. This paper presents a modular wearable...
123
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique t...
131
Voted
ICASSP
2009
IEEE
15 years 1 months ago
2009
IEEE
The clipping of log-likelihood ratios (LLRs) in soft demodulators for multiple-input multiple-output (MIMO) systems with bitinterleaved coded modulation (BICM) was recently observ...
112
Voted
SEMCO
2007
IEEE
15 years 10 months ago
2007
IEEE
We describe StartMobile, a prototype system that enables users of cellular telephones and other mobile devices to access information, create information and execute commands on th...
117
Voted
CADE
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...