800 search results - page 24 / 160 » Towards a formalization of budgets |
ISLPED
1998
ACM
15 years 2 months ago
1998
ACM
Register files (RF) represent a substantial portion of the energy budget in modern processors, and are growing rapidly with the trend towards wider instruction issue. The actual ...
70
Voted
LREC
2008
14 years 11 months ago
2008
Fixed, limited budgets often constrain the amount of expert annotation that can go into the construction of annotated corpora. Estimating the cost of annotation is the first step ...
79
Voted
SCP
2008
14 years 10 months ago
2008
In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...
ICTAI
2005
IEEE
15 years 3 months ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
ISCIS
2009
Springer
15 years 4 months ago
2009
Springer
— The notion of affordances is often directly linked with studies on mirror and canonical neurons as well as studies that try to relate language. In our previous work, we had dev...