Sciweavers

87 search results - page 11 / 18
» A Joint-Receipt Conjoint Structure and its Additive Represen...
Sort
View
77
Voted
GECCO
2005
Springer
154views Optimization» more  GECCO 2005»
15 years 3 months ago
The molecule evoluator: an interactive evolutionary algorithm for designing drug molecules
To help chemists design new drugs, we created a tool that uses interactive evolution to design drug molecules, the “Molecule Evoluator”. In contrast to most other evolutionary...
Eric-Wubbo Lameijer, Adriaan P. IJzerman, Joost N....
AIPS
2007
14 years 12 months ago
Approximate Solution Techniques for Factored First-Order MDPs
Most traditional approaches to probabilistic planning in relationally specified MDPs rely on grounding the problem w.r.t. specific domain instantiations, thereby incurring a com...
Scott Sanner, Craig Boutilier
CADE
2007
Springer
15 years 10 months ago
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
Andrei Voronkov, Juan Antonio Navarro Pérez
ISMIR
2004
Springer
130views Music» more  ISMIR 2004»
15 years 3 months ago
Towards Automatic Identification Of Singing Language In Popular Music Recordings
The automatic analysis of singing from music is an important and challenging issue within the research target of content-based retrieval of music information. As part of this rese...
Wei-Ho Tsai, Hsin-Min Wang
100
Voted
CORR
2008
Springer
98views Education» more  CORR 2008»
14 years 9 months ago
Information Acquisition and Exploitation in Multichannel Wireless Networks
A wireless system with multiple channels is considered, where each channel has several transmission states. A user learns about the instantaneous state of an available channel by ...
Sudipto Guha, Kamesh Munagala, Saswati Sarkar