Sciweavers

1983 search results - page 96 / 397
» Competitive graph searches
Sort
View
DPHOTO
2009
154views Hardware» more  DPHOTO 2009»
13 years 5 months ago
Optimal color filter array design: quantitative conditions and an efficient search procedure
Most digital cameras employ a spatial subsampling process, implemented as a color filter array (CFA), to capture color images. The choice of CFA patterns has a great impact on the...
Yue M. Lu, Martin Vetterli
ICALP
2007
Springer
14 years 2 months ago
On Commutativity Based Edge Lean Search
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
Dragan Bosnacki, Edith Elkind, Blaise Genest, Doro...
GECCO
2004
Springer
127views Optimization» more  GECCO 2004»
14 years 1 months ago
Automatic Synthesis of an 802.11a Wireless LAN Antenna Using Genetic Programming A Real World Application
This paper describes the application of genetic programming to synthesize a small form factor, 2 dimensional wire antenna for a 5.2 GHz 802.11a wireless LAN application. Utilizing ...
Rian Sanderson
RECOMB
2004
Springer
14 years 8 months ago
Structured motifs search
In this paper we describe an algorithm for the localization of structured models, i.e. sequences of (simple) motifs and distance constraints. It basically combines standard patter...
Alberto Policriti, Nicola Vitacolonna, Michele Mor...
ITS
2004
Springer
153views Multimedia» more  ITS 2004»
14 years 1 months ago
Modeling Students' Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn