10891 search results - page 202 / 2179 » Combining Model Reductions |
109
Voted
IJCNLP
2004
Springer
15 years 9 months ago
2004
Springer
Transliterating words and names from one language to another is a frequent and highly productive phenomenon. Transliteration is information loosing since important distinctions ar...
122
click to vote
INFOCOM
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— An analytical model is developed for cellular networks with a combined adaptive bandwidth allocation and trafficrestriction mechanism. Instead of focusing only on the ...
155
Voted
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
112
Voted
ISVLSI
2006
IEEE
15 years 9 months ago
2006
IEEE
— Based on the proposed reliability characterization model, reliability-bounded low-power design as a methodology to balance reliability enhancement and power reduction in chip d...
138
Voted
LFCS
1994
Springer
15 years 7 months ago
1994
Springer
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...