Sciweavers

3103 search results - page 138 / 621
» Parsimonious relevance models
Sort
View
BIBM
2009
IEEE
183views Bioinformatics» more  BIBM 2009»
15 years 6 months ago
Modeling Protein Interaction Networks with Answer Set Programming
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
Timur Fayruzov, Martine De Cock, Chris Cornelis, D...
CDC
2009
IEEE
161views Control Systems» more  CDC 2009»
15 years 6 months ago
Network structure preserving model reduction with weak a priori structural information
— This paper extends a state projection method for structure preserving model reduction to situations where only a weaker notion of system structure is available. This weaker not...
Enoch Yeung, Jorge M. Goncalves, Henrik Sandberg, ...
SIGIR
2010
ACM
15 years 5 months ago
A two-stage model for blog feed search
We consider blog feed search: identifying relevant blogs for a given topic. An individual’s search behavior often involves a combination of exploratory behavior triggered by sal...
Wouter Weerkamp, Krisztian Balog, Maarten de Rijke
AAAI
2008
15 years 4 months ago
Expressive Banner Ad Auctions and Model-Based Online Optimization for Clearing
We present the design of a banner advertising auction which is considerably more expressive than current designs. We describe a general model of expressive ad contracts/bidding an...
Craig Boutilier, David C. Parkes, Tuomas Sandholm,...
141
Voted
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 3 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...