1662 search results - page 86 / 333 » Privately Finding Specifications |
147
Voted
IPL
2008
15 years 3 months ago
2008
We use transfer matrix methods to determine bounds for the numbers of legal Go positions for various numbers of players on some planar lattice graphs, including square lattice gra...
139
Voted
IPL
2006
15 years 3 months ago
2006
Max-Satisfy is the problem of finding an assignment that satisfies the maximum number of equations in a system of linear equations over Q. We prove that unless NPBPP Max-Satisfy c...
154
Voted
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
143
Voted
SIGDIAL
2010
15 years 1 months ago
2010
This paper introduces a new dialogue management framework for goal-directed conversations. A declarative specification defines the domain-specific elements and guides the dialogue...
114
Voted
IMCSIT
2010
15 years 28 days ago
2010
In this paper we present RefGen, a reference chain identification module for French. RefGen algorithm uses genre specific properties of reference chains and an accessibility measur...