12774 search results - page 2530 / 2555 » A Framework for Proof Systems |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
This work describes a novel methodology for automatic contour extraction from 2D images of 3D neurons (e.g. camera lucida images and other types of 2D microscopy). Most contour-ba...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We consider wireless networks that can be modeled by multiple access channels in which all the terminals are equipped with multiple antennas. The propagation model used to account...
EAAI
2008
13 years 8 months ago
2008
We describe the Flight Manager Assistant (FMA), a prototype system, designed to support real-time management of airlift operations at the USAF Air Mobility Command (AMC). In curre...
AICOM
2006
13 years 8 months ago
2006
In this work we present a backjumping technique for Disjunctive Logic Programming (DLP) under the Answer Set Semantics. It builds upon related techniques that had originally been p...
ALMOB
2006
13 years 8 months ago
2006
The use of Chaos Game Representation (CGR) or its generalization, Universal Sequence Maps (USM), to describe the distribution of biological sequences has been found objectionable ...