Sciweavers

2517 search results - page 214 / 504
» Specifying Weak Sets
Sort
View
ESWS
2009
Springer
16 years 1 months ago
Hybrid Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin...
Cristina Feier, Stijn Heymans
180
Voted
PKDD
2009
Springer
118views Data Mining» more  PKDD 2009»
16 years 1 months ago
Protein Identification from Tandem Mass Spectra with Probabilistic Language Modeling
This paper presents an interdisciplinary investigation of statistical information retrieval (IR) techniques for protein identification from tandem mass spectra, a challenging probl...
Yiming Yang, Abhay Harpale, Subramaniam Ganapathy
SIGECOM
2009
ACM
139views ECommerce» more  SIGECOM 2009»
16 years 1 months ago
Simple versus optimal mechanisms
The monopolist’s theory of optimal single-item auctions for agents with independent private values can be summarized by two statements. The first is from Myerson [8]: the optim...
Jason D. Hartline, Tim Roughgarden
ICRA
2008
IEEE
107views Robotics» more  ICRA 2008»
16 years 1 months ago
Storing and recalling information for vision localization
— In implementing a vision localization system, a crucial issue to consider is how to efficiently store and recall the necessary information so that the robot is not only able t...
Christian Siagian, Laurent Itti
KBSE
2008
IEEE
16 years 1 months ago
Exploring the composition of unit test suites
In agile software development, test code can considerably contribute to the overall source code size. Being a valuable asset both in terms of verification and documentation, the ...
Bart Van Rompaey, Serge Demeyer