891 search results - page 132 / 179 » Full Abstraction for PCF |
TIP
2010
13 years 2 months ago
2010
Abstract--While directional adaption is introduced into traditional transforms, different orders of two 1-D transforms will result in different results of one 2-D transform. Based ...
TR
2010
13 years 2 months ago
2010
Abstract--The development of accurate health condition prediction approaches has been a key research topic in condition based maintenance (CBM) in recent years. However, current he...
TWC
2010
13 years 2 months ago
2010
Abstract--Free-space optical (FSO) transmission systems enable high-speed communication with relatively small deployment costs. However, FSO suffers a critical disadvantage, namely...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
BTW
2011
Springer
12 years 11 months ago
2011
Springer
Abstract: The rise of the Web 2.0 has made content publishing easier than ever. Yesterday’s passive consumers are now active users who generate and contribute new data to the web...