Sciweavers

9325 search results - page 1510 / 1865
» The decentralized implementability problem
Sort
View
127
Voted
IJCSS
2007
97views more  IJCSS 2007»
15 years 5 months ago
Collaborative Multi-Agent-based e-Commerce Framework
Software agents offer a promise to change electronic commerce trading by helping traders to purchase products based on their interests and preferences. E-commerce systems are incr...
Tarek Helmy
AMAI
2005
Springer
15 years 5 months ago
Resolution cannot polynomially simulate compressed-BFS
Many algorithms for Boolean satisfiability (SAT) work within the framework of resolution as a proof system, and thus on unsatisfiable instances they can be viewed as attempting to...
DoRon B. Motter, Jarrod A. Roy, Igor L. Markov
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 5 months ago
A Logic-Based Approach to Combinatorial Testing with Constraints
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
Andrea Calvagna, Angelo Gargantini
IJSYSC
2007
170views more  IJSYSC 2007»
15 years 5 months ago
Nonlinear attitude and gyroscope's bias estimation for a VTOL UAV
: This paper addresses the problem of attitude and heading restitution for a VTOL UAV. We describe an observation strategy to restitute the complete attitude matrix of the vehicle ...
Jean Michel Pflimlin, Tarek Hamel, Philippe Sou&eg...
IJWGS
2007
96views more  IJWGS 2007»
15 years 5 months ago
The many faces of the integration of instruments and the grid
: Current grid technologies offer unlimited computational power and storage capacity for scientific research and business activities in heterogeneous areas all over the world. Than...
Francesco Lelli, Eric Frizziero, Michele Gulmini, ...
« Prev « First page 1510 / 1865 Last » Next »