649 search results - page 87 / 130 » An Improved Construction of Progression-Free Sets |
SEKE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...
CSMR
2008
IEEE
15 years 7 months ago
2008
IEEE
Families of products are steadily emerging for distinct settings such as embedded systems, navigational systems, financial applications or even web applications. This shifts the a...
97
Voted
CICLING
2007
Springer
15 years 6 months ago
2007
Springer
One major problem of state-of-the-art Cross Language Question Answering systems is the translation of user questions. This paper proposes combining the potential of multiple transl...
CONIELECOMP
2005
IEEE
15 years 6 months ago
2005
IEEE
The approximate searching problem on compressed text tries to find all the matches of a pattern in a compressed text, without decompressing it and considering that the match of th...
CP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...