6530 search results - page 778 / 1306 » Application Integration |
182
click to vote
JAR
2008
15 years 7 months ago
2008
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...
195
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We describe decomposition during search (DDS), an integration of And/Or tree search into propagation-based constraint solvers. The presented search algorithm dynamically ...
302
click to vote
JISE
2008
15 years 7 months ago
2008
Supporting telephone services using wireless LAN as the access network is an important application nowadays. The SIP and IEEE 802.11e are the two most promising protocols to suppo...
201
click to vote
JAIR
2006
15 years 7 months ago
2006
We present a novel framework for integrating prior knowledge into discriminative classifiers. Our framework allows discriminative classifiers such as Support Vector Machines (SVMs...
274
click to vote
JSS
2008
15 years 7 months ago
2008
The convergence of data, voice, and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has resulted in a proli...