2107 search results - page 81 / 422 » b 2007 |
ENTCS
2007
13 years 10 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
ITA
2007
13 years 10 months ago
2007
This note is about functions f : Aω → Bω whose graph is recognized by a B¨uchi finite automaton on the product alphabet A × B. These functions are Baire class 2 in the Bair...
MLQ
2007
13 years 9 months ago
2007
We examine the concept of almost everywhere domination from the viewpoint of mass problems. Let AED and MLR be the set of reals which are almost everywhere dominating and Martin-L...
COMSWARE
2007
IEEE
14 years 4 months ago
2007
IEEE
— Web Services are commonly used by organizations for B2B integration and enterprise application integration. UDDI registries are widely used as mechanisms for businesses to list...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
– It is well known that IEEE 802.11 WLAN is highly inefficient for transporting voice data. For example, if one simply takes the data rate of 802.11b, 11Mbps, and divide it by tw...