Sciweavers

2083 search results - page 104 / 417
» Perception and Experience in Problem Solving
Sort
View
EVOTING
2004
113views Hardware» more  EVOTING 2004»
15 years 5 months ago
Verifiability and Other Technical Requirements for Online Voting Systems
: When developing a catalogue of technical requirements for online voting systems to be used in legally ruled, non-parliamentary elections, major interdisciplinary problems arise w...
Nils Meißner, Volker Hartmann, Dieter Richte...
ICEC
1994
82views more  ICEC 1994»
15 years 5 months ago
Improving Search by Incorporating Evolution Principles in Parallel Tabu Search
Combinatorial optimization problems require computing efforts which grow at least exponentially with the problem dimension. Therefore, the use of the remarkable power of massively...
Ivan De Falco, Renato Del Balio, Ernesto Tarantino...
PR
2010
156views more  PR 2010»
15 years 2 months ago
The hyperbolic smoothing clustering method
It is considered the minimum sum-of-squares clustering problem. The mathematical modeling of this problem leads to a min − sum − min formulation which, in addition to its intr...
Adilson Elias Xavier
CGF
2006
148views more  CGF 2006»
15 years 4 months ago
Analysis of Reproducing Real-World Appearance on Displays of Varying Dynamic Range
We conduct a series of experiments to investigate the desired properties of a tone mapping operator (TMO) and to design such an operator based on subjective data. We propose a nov...
Akiko Yoshida, Rafal Mantiuk, Karol Myszkowski, Ha...
ISCAS
2006
IEEE
106views Hardware» more  ISCAS 2006»
15 years 10 months ago
Integrating observability don't cares in all-solution SAT solvers
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
Sean Safarpour, Andreas G. Veneris, Rolf Drechsler