Sciweavers

13987 search results - page 563 / 2798
» The Two Guards Problem
Sort
View
EPEW
2008
Springer
15 years 9 months ago
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
We apply performance analysis techniques to a biological modelling problem, that of capturing and reproducing the Circadian rhythm. A Circadian rhythm provides cells with a clock b...
Jeremy T. Bradley
NIPS
2008
15 years 8 months ago
The Infinite Hierarchical Factor Regression Model
We propose a nonparametric Bayesian factor regression model that accounts for uncertainty in the number of factors, and the relationship between factors. To accomplish this, we pr...
Piyush Rai, Hal Daumé III
SPLC
2008
15 years 8 months ago
On SAT Technologies for Dependency Management and Beyond
SAT solvers technology is now mature enough to be part of the engineer toolbox side by side with Mixed Integer Programming and Constraint Programming tools. As of June 2008, two g...
Daniel Le Berre, Anne Parrain
WALCOM
2008
IEEE
82views Algorithms» more  WALCOM 2008»
15 years 8 months ago
Exact Algorithms for Maximum Acyclic Subgraph on a Superclass of Cubic Graphs
Abstract. Finding a maximum acyclic subgraph is on the list of problems that seem to be hard to tackle from a parameterized perspective. We develop two quite efficient algorithms (...
Henning Fernau, Daniel Raible
FLAIRS
2004
15 years 8 months ago
Building Hint Specifications in an NL Tutorial System for Mathematics
NL interaction and skillful hinting are known as cornerstones for successful tutoring. Despite these insights, a combination of these two factors is widely under-represented in th...
Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler