3228 search results - page 452 / 646 » Computationally Sound Proofs |
114
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
114
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
In [?], a practical algorithm for precise interval analysis is provided for which, however, no non-trivial upper complexity bound is known. Here, we present a lower bound by showin...
100
Voted
CLIMA
2007
15 years 5 months ago
2007
Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. The EB...
131
Voted
CATS
2006
15 years 4 months ago
2006
A complete description and proof of correctness are given for a new polynomial time algorithm for a class of codes based on directed graphs and involving construction well known i...
127
Voted
ACL
1993
15 years 4 months ago
1993
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...