979 search results - page 31 / 196 » Footprints in Local Reasoning |
ICRA
2009
IEEE
14 years 1 months ago
2009
IEEE
This paper introduces a stereoscopic fibroscope
imaging system for Minimally Invasive Surgery (MIS) and
examines the feasibility of utilizing images transmitted from the
distal ...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
X-ray computed tomography (CT) images could be improved using iterative image reconstruction if the 3D conebeam forward- and back-projection computations can be accelerated signif...
SIGSOFT
2006
ACM
14 years 8 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
AIPS
2003
13 years 9 months ago
2003
In this paper we describe a compromise between generative planning and special-purpose software. Hierarchical functional models are used by an intelligent system to represent its ...