Sciweavers

3510 search results - page 269 / 702
» Searching with numbers
Sort
View
DAC
1994
ACM
15 years 10 months ago
Boolean Matching Using Generalized Reed-Muller Forms
-- In this paper we present a new method for Boolean matching of completely specified Boolean functions. The canonical Generalized Reed-Muller forms are used as a powerful analysis...
Chien-Chung Tsai, Malgorzata Marek-Sadowska
GECCO
2004
Springer
127views Optimization» more  GECCO 2004»
16 years 4 days ago
Computational Complexity and Simulation of Rare Events of Ising Spin Glasses
We discuss the computational complexity of random 2D Ising spin glasses, which represent an interesting class of constraint satisfaction problems for black box optimization. Two ex...
Martin Pelikan, Jiri Ocenasek, Simon Trebst, Matth...
WADS
2005
Springer
108views Algorithms» more  WADS 2005»
16 years 6 days ago
Improved Fixed-Parameter Algorithms for Two Feedback Set Problems
Abstract. Settling a ten years open question, we show that the NPcomplete Feedback Vertex Set problem is deterministically solvable in O(ck ·m) time, where m denotes the number of...
Jiong Guo, Jens Gramm, Falk Hüffner, Rolf Nie...
ECIR
2008
Springer
15 years 8 months ago
Workshop on Novel Methodologies for Evaluation in Information Retrieval
Information retrieval is an empirical science; the field cannot move forward unless there are means of evaluating the innovations devised by researchers. However the methodologies...
Mark Sanderson, Martin Braschler, Nicola Ferro, Ju...
IROS
2008
IEEE
89views Robotics» more  IROS 2008»
16 years 1 months ago
Scaling effects in multi-robot control
— The present study investigates the effect of the number of controlled robots on performance of an urban search and rescue (USAR) task using a realistic simulation. Task perform...
Prasanna Velagapudi, Paul Scerri, Katia P. Sycara,...