Sciweavers

643 search results - page 123 / 129
» Parsing And Derivational Equivalence
Sort
View
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 10 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...
EMNLP
2008
13 years 10 months ago
Phrase Translation Probabilities with ITG Priors and Smoothing as Learning Objective
The conditional phrase translation probabilities constitute the principal components of phrase-based machine translation systems. These probabilities are estimated using a heurist...
Markos Mylonakis, Khalil Sima'an
IJCAI
2007
13 years 10 months ago
Spiteful Bidding in Sealed-Bid Auctions
We study the bidding behavior of spiteful agents who, contrary to the common assumption of selfinterest, maximize a convex combination of their own proļ¬t and their competitorsā€...
Felix Brandt, Tuomas Sandholm, Yoav Shoham
MCU
2007
113views Hardware» more  MCU 2007»
13 years 10 months ago
On the Computational Capabilities of Several Models
We review some results about the computational power of several computational models. Considered models have in common to be related to continuous dynamical systems. 1 Dynamical Sy...
Olivier Bournez, Emmanuel Hainry
SPLC
2008
13 years 10 months ago
Filtered Cartesian Flattening: An Approximation Technique for Optimally Selecting Features while Adhering to Resource Constraint
Software Product-lines (SPLs) use modular software components that can be reconfigured into different variants for different requirements sets. Feature modeling is a common method...
Jules White, B. Doughtery, Douglas C. Schmidt