1798 search results - page 55 / 360 » Generating presentation constraints from rhetorical structur... |
CAV
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
BIBE
2007
IEEE
13 years 11 months ago
2007
IEEE
—In this paper, we have modified a constrained clustering algorithm to perform exploratory analysis on gene expression data using prior knowledge presented in the form of constr...
ICML
2009
IEEE
14 years 10 months ago
2009
IEEE
There are well known algorithms for learning the structure of directed and undirected graphical models from data, but nearly all assume that the data consists of a single i.i.d. s...
ICML
2008
IEEE
14 years 10 months ago
2008
IEEE
Tsochantaridis et al. (2005) proposed two formulations for maximum margin training of structured spaces: margin scaling and slack scaling. While margin scaling has been extensivel...
CSREAESA
2004
13 years 10 months ago
2004
In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...