3552 search results - page 689 / 711 » Proof theory in the abstract |
128
click to vote
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
113
click to vote
CASES
2006
ACM
15 years 7 months ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...
120
click to vote
ML
2006
ACM
15 years 7 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
150
Voted
CEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract- We introduce metrics on sensorimotor experience at various temporal scales based on informationtheory. Sensorimotor variables through which the experience of an agent fl...
139
Voted
ICAIL
2005
ACM
15 years 7 months ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...