6833 search results - page 239 / 1367 » Some two-character sets |
163
click to vote
CASC
2007
Springer
16 years 25 days ago
2007
Springer
We introduce the concept of comprehensive triangular decomposition (CTD) for a parametric polynomial system F with coefficients in a field. In broad words, this is a finite part...
159
click to vote
FROCOS
2007
Springer
16 years 25 days ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
199
click to vote
GECCO
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents a novel approach of applying both positive selection and negative selection to supervised learning for anomaly detection. It first learns the patterns of the n...
156
click to vote
ICFEM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
168
click to vote
JELIA
2004
Springer
16 years 18 hour ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...