Sciweavers

2152 search results - page 231 / 431
» A Comparative Study of 2QBF Algorithms
Sort
View
171
Voted
ISSAC
2007
Springer
142views Mathematics» more  ISSAC 2007»
16 years 8 days ago
Fast arithmetic for triangular sets: from theory to practice
We study arithmetic operations for triangular families of polynomials, concentrating on multiplication in dimension zero. By a suitable extension of fast univariate Euclidean divi...
Xin Li, Marc Moreno Maza, Éric Schost
ICIP
2005
IEEE
15 years 11 months ago
Reference picture selection in an already MPEG encoded bitstream
Reference picture selection (RPS) is the most common error resilience method for robust transmission over lossy networks. However, RPS has been studied for use in realtime encodin...
Hoi-Kin Cheung, Yui-Lam Chan, Wan-Chi Siu
ITCC
2005
IEEE
15 years 11 months ago
Real Stock Trading Using Soft Computing Models
The main focus of this study is to compare different performances of soft computing paradigms for predicting the direction of individuals stocks. Three different artificial intell...
Brent Doeksen, Ajith Abraham, Johnson P. Thomas, M...
ICAIL
2003
ACM
15 years 11 months ago
Predicting Outcomes of Case-Based Legal Arguments
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...
Stefanie Brüninghaus, Kevin D. Ashley
ICRA
2002
IEEE
141views Robotics» more  ICRA 2002»
15 years 11 months ago
Pseudoinverse Trajectory Control of Redundant Manipulators: A Fractional Calculus Perspective
Abstract— Redundant manipulators have some advantages when compared with classical arms because they allow the trajectory optimization, both on the free space and on the presence...
Fernando B. M. Duarte, José António ...