4708 search results - page 698 / 942 » Generating the Structure of Argument |
134
click to vote
ICPR
2008
IEEE
15 years 12 months ago
2008
IEEE
Structured light systems use projected light to augment a scene with extra information. The goal of such systems is often the recovery of depth information based on 2D image(s) fr...
155
Voted
ICRA
2008
IEEE
15 years 12 months ago
2008
IEEE
— Technologies to develop scaffolds with controlled pore layout and porosity have great significance in tissue engineering. As one method of scaffold fabrication, porogen leachin...
144
click to vote
IPPS
2008
IEEE
15 years 12 months ago
2008
IEEE
We present an auto-tuning approach to optimize application performance on emerging multicore architectures. The methodology extends the idea of searchbased performance optimizatio...
135
click to vote
KBSE
2008
IEEE
15 years 12 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
176
click to vote
LICS
2008
IEEE
15 years 12 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...