Sciweavers

5615 search results - page 121 / 1123
» On the Computational Capabilities of Several Models
Sort
View
IJCSA
2008
131views more  IJCSA 2008»
14 years 10 months ago
On Ubiquitous Integrated Computing
: Ubiquitous integrated computing makes possible new workflow processes and business models which can meet the challenges from the fast growing digital convergence. An integrated i...
Kari Anne Haaland Thorsen, Chunming Rong
JAR
2006
106views more  JAR 2006»
14 years 10 months ago
Some Computational Aspects of distance-sat
In many AI fields, the problem of finding out a solution which is as close as possible to a given configuration has to be faced. This paper addresses this problem in a propositiona...
Olivier Bailleux, Pierre Marquis
CP
2010
Springer
14 years 8 months ago
Computing the Density of States of Boolean Formulas
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...
Stefano Ermon, Carla P. Gomes, Bart Selman
ICVS
2009
Springer
15 years 4 months ago
Saliency-Based Obstacle Detection and Ground-Plane Estimation for Off-Road Vehicles
Abstract. Due to stringing time constraints, saliency models are becoming popular tools for building situated robotic systems requiring, for instance, object recognition and vision...
Pedro Santana, Magno Guedes, Luís Correia, ...
HPDC
1997
IEEE
15 years 2 months ago
Predicting Slowdown for Networked Workstations
Most applications share the resources of networked workstations with other applications. Since system load can vary dramatically, allocation strategies that assume that resources ...
Silvia M. Figueira, Francine Berman