1127 search results - page 51 / 226 » Theory Extension in ACL2(r) |
97
Voted
CORR
2007
Springer
15 years 22 days ago
2007
Springer
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
MP
2006
15 years 21 days ago
2006
Monte Carlo methods have been used extensively in the area of stochastic programming. As with other methods that involve a level of uncertainty, theoretical properties are required...
120
Voted
IJCV
2007
15 years 20 days ago
2007
In this paper, we study face hallucination, or synthesizing a high-resolution face image from an input low-resolution image, with the help of a large collection of other high-reso...
78
Voted
BC
2005
15 years 19 days ago
2005
Abstract The coupling of movement behavior and environmental signals has been extensively studied within the domain of rhythmic coordination tasks. However, in contrast to most tra...
110
click to vote
TWC
2008
15 years 19 days ago
2008
In this paper, the statistics of quadratic forms in normal random variables (RVs) are studied and their impact on performance analysis of wireless communication systems is explored...