Sciweavers

490 search results - page 70 / 98
» Equivalent Keys of HPC
Sort
View
ESWS
2008
Springer
13 years 9 months ago
Semantic Web Technology for Agent Communication Protocols
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be ...
Idoia Berges, Jesús Bermúdez, Alfred...
AI
2007
Springer
13 years 8 months ago
Anyone but him: The complexity of precluding an alternative
Preference aggregation in a multiagent setting is a central issue in both human and computer contexts. In this paper, we study in terms of complexity the vulnerability of preferen...
Edith Hemaspaandra, Lane A. Hemaspaandra, Jör...
ALGORITHMICA
2007
145views more  ALGORITHMICA 2007»
13 years 8 months ago
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions
Abstract Many compiler optimization techniques depend on the ability to calculate the number of elements that satisfy certain conditions. If these conditions can be represented by ...
Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vi...
AUTOMATICA
2007
124views more  AUTOMATICA 2007»
13 years 8 months ago
Motion planning in uncertain environments with vision-like sensors
In this work we present a methodology for intelligent path planning in an uncertain environment using vision like sensors, i.e., sensors that allow the sensing of the environment ...
Suman Chakravorty, John L. Junkins
CORR
2010
Springer
96views Education» more  CORR 2010»
13 years 8 months ago
LSMR: An iterative algorithm for sparse least-squares problems
Abstract. An iterative method LSMR is presented for solving linear systems Ax = b and leastsquares problem min Ax - b 2, with A being sparse or a fast linear operator. LSMR is base...
David Fong, Michael Saunders