11160 search results - page 164 / 2232 » Incompleteness in a General Setting |
SAT
2009
Springer
15 years 7 months ago
2009
Springer
Recent work has shown the value of using unsatisfiable cores to guide maximum satisfiability algorithms (Max-SAT) running on industrial instances [5,9,10,11]. We take this concep...
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
—We present an approach for automated evolutionary design of the functionary of driving agent, able to operate a software model of fast running car. The objective of our work is ...
90
Voted
ICDM
2007
IEEE
15 years 7 months ago
2007
IEEE
K-means is a widely used partitional clustering method. A large amount of effort has been made on finding better proximity (distance) functions for K-means. However, the common c...
111
Voted
SASN
2003
ACM
15 years 6 months ago
2003
ACM
We present a security design for a general purpose, selforganizing, multihop ad hoc wireless network, based on the IEEE 802.15.4 low-rate wireless personal area network standard. ...
78
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
— Pattern recognition has many applications in design automation. A generalized pattern recognition algorithm is presented in this paper which can efficiently extract similar pat...