158 search results - page 30 / 32 » Strong logics of first and second order |
ATAL
2003
Springer
13 years 11 months ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
BMCBI
2004
13 years 6 months ago
2004
Background: In the microarray experiment, many undesirable systematic variations are commonly observed. Normalization is the process of removing such variation that affects the me...
TACAS
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
SPAA
1990
ACM
13 years 10 months ago
1990
ACM
We present various experiments in Hardware/Software designtradeoffs met in speeding up long integer multiplications. This work spans over a year, with more than 12 different hardw...
ENTCS
2007
13 years 6 months ago
2007
The interpretative approach to compilation allows compiling programs by partially evaluating an interpreter w.r.t. a source program. This approach, though very attractive in princ...