10916 search results - page 209 / 2184 » On Constructive Connectives and Systems |
168
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
155
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Protocol sequences are used in channel access for the multiple-access collision channel without feedback. A new construction of protocol sequences with a guarantee of worstcase sys...
228
click to vote
WDAG
2010
Springer
15 years 4 months ago
2010
Springer
The imminent arrival of best-effort transactional hardware has spurred new interest in the construction of nonblocking data structures, such as those that require atomic updates to...
175
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a system that constructs "implicit shape models" for classes of rigid 3D objects and utilizes these models to estimating the pose of class instances in single...
182
click to vote
APWEB
2004
Springer
16 years 1 days ago
2004
Springer
Many web sites incorporate dynamic web pages to deliver customized contents to their users. However, dynamic pages result in increased user response times due to their construction...