741 search results - page 93 / 149 » A Local System for Classical Logic |
CARS
2004
13 years 10 months ago
2004
Sensitive structures of the lateral skull base demand for robotic procedures a higher precision than provided by standard navigation systems relying on CT scans. Keystone of our mu...
SIAMSC
2008
13 years 7 months ago
2008
In the mathematical modeling of real-life applications, systems of equations with complex coefficients often arise. While many techniques of numerical linear algebra, e.g., Krylovs...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper, we present an automatic mouth contour and state estimation system. An efficient mouth contour extraction algorithm is proposed under the framework of Active Shape M...
JSAC
2010
13 years 7 months ago
2010
—We study broadcasting of information in a system of moving agents equipped with omnidirectional as well as directional antenna. The agent communication protocol is inspired by t...
FSKD
2007
Springer
14 years 19 days ago
2007
Springer
The uncertainty may be divides it into two major groups, "objective uncertainty" and "subjective uncertainty". The objective uncertainty has already been exten...