3831 search results - page 617 / 767 » Dynamic Context Logic |
101
Voted
IJCAI
1993
15 years 2 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
134
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
126
click to vote
FPGA
2012
ACM
13 years 8 months ago
2012
ACM
In floating-point datapaths synthesized on FPGAs, the shifters that perform mantissa alignment and normalization consume a disproportionate number of LUTs. Shifters are implemente...
142
click to vote
ISCA
2012
IEEE
13 years 3 months ago
2012
IEEE
The reliability of future processors is threatened by decreasing transistor robustness. Current architectures focus on delivering high performance at low cost; lifetime device rel...
108
click to vote
ICIP
2007
IEEE
16 years 2 months ago
2007
IEEE
We consider the problem of estimating and encoding depth maps from multiple views in the context of 3D-TV with free-viewpoint rendering. We propose a novel codec based on the Rate...