11740 search results - page 258 / 2348 » More Problems in Rewriting |
135
click to vote
ECAI
1994
Springer
15 years 10 months ago
1994
Springer
We describe a detailed experimental investigation of the phase transition for several different classes of randomly generated satisfiability problems. We observe a remarkable consi...
166
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
We address the problem of detecting batches of emails that have been created according to the same template. This problem is motivated by the desire to filter spam more effectivel...
171
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
The Web Service Composition (WSC) problem on behavioral descriptions deals with the automatic construction of a coordinator web service to control a set of web services to reach t...
170
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Many important problems in bioinformatics and genetics require analyses that are NP-complete. For example, one of the basic problems facing researchers that analyze pedig...
188
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
−−−− The simultaneous localization and mapping (SLAM) with detection and tracking of moving objects (DATMO) problem is not only to solve the SLAM problem in dynamic environ...