16091 search results - page 412 / 3219 » Solving |
154
click to vote
GECCO
2005
Springer
16 years 9 days ago
2005
Springer
Effects based operations (EBO) is a concept based on the premise that a desired strategic outcome can be achieved through synergistic, multiplicative, and cumulative application ...
189
click to vote
LPAR
2005
Springer
16 years 8 days ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
279
click to vote
MEMBRANE
2005
Springer
16 years 8 days ago
2005
Springer
In the present paper we propose a way to simulate Boolean gates and circuits in the framework of P systems with active membranes using inhibiting/de-inhibiting rules. This new appr...
200
click to vote
MFCS
2005
Springer
16 years 8 days ago
2005
Springer
This paper investigates the word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse m...
169
click to vote
PAKDD
2005
ACM
16 years 8 days ago
2005
ACM
Abstract. This paper establishes the foundation for the performance measurements of privacy preserving data mining techniques. The performance is measured in terms of the accuracy ...