Sciweavers

1070 search results - page 95 / 214
» Type Classes with Functional Dependencies
Sort
View
114
Voted
ICML
2006
IEEE
16 years 4 months ago
Learning algorithms for online principal-agent problems (and selling goods online)
In a principal-agent problem, a principal seeks to motivate an agent to take a certain action beneficial to the principal, while spending as little as possible on the reward. This...
Vincent Conitzer, Nikesh Garera
KR
2000
Springer
15 years 7 months ago
A Logic Based Language for Parametric Inheritance
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
Hasan M. Jamil
145
Voted
BMCBI
2007
115views more  BMCBI 2007»
15 years 3 months ago
Recognizing protein-protein interfaces with empirical potentials and reduced amino acid alphabets
Background: In structural genomics, an important goal is the detection and classification of protein–protein interactions, given the structures of the interacting partners. We h...
Guillaume Launay, Raul Mendez, Shoshana J. Wodak, ...
ECAL
2005
Springer
15 years 9 months ago
CelloS: A Multi-level Approach to Evolutionary Dynamics
We study the evolution of simple cells that are equipped with a genome, a rudimentary gene regulation network at transcription level and two classes of functional genes: motion eļ¬...
Camille Stephan-Otto Attolini, Peter F. Stadler, C...
CAV
2009
Springer
165views Hardware» more  CAV 2009»
15 years 7 months ago
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
Sven Verdoolaege, Gerda Janssens, Maurice Bruynoog...