1416 search results - page 195 / 284 » An Intelligent IT Infrastructure for the Future |
TABLEAUX
2007
Springer
14 years 3 months ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
ICALT
2006
IEEE
14 years 3 months ago
2006
IEEE
All books entitled “Learn … with 1000 exercises” have in common the same basic principle. They aim to supply enough material to students so that they may better understand t...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
— Robotics technology promises an enhanced way of performing off-pump coronary artery bypass graft (CABG) surgery. In the robotic-assisted CABG surgery, surgeon performs the oper...
VTC
2006
IEEE
14 years 3 months ago
2006
IEEE
— A research topic that is becoming increasingly popular is that of on-board mobile communication, where users on a vehicle are connected to a local network that attaches to the ...
IAT
2005
IEEE
14 years 2 months ago
2005
IEEE
Partially observable Markov decision process (POMDP) is commonly used to model a stochastic environment with unobservable states for supporting optimal decision making. Computing ...