11374 search results - page 177 / 2275 » A System Demonstration of ST-TCP |
155
click to vote
IJCAI
1989
15 years 7 months ago
1989
This paper addresses two problems concerning the issue of redundant information in resolution based reasoning systems. The first one deals with the question, how the derivation of...
206
click to vote
WCE
2007
15 years 7 months ago
2007
— In this paper a new-generation integral motor-drive has been demonstrated. It proposes a compact unit built to operate in arduous industrial environments with optimized power c...
158
click to vote
ICMCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Networked virtual environments are increasingly used for collaboration tasks and other interactive applications. While the graphics in such virtual worlds are usually three-dimens...
154
click to vote
AICOM
2010
15 years 6 months ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
179
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The canonical problem of solving a system of linear equations arises in numerous contexts in information theory, communication theory, and related fields. In this contribution, we ...