4047 search results - page 129 / 810 » Some Properties and Some Problems on Set Functors |
149
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The Second Harmonic Generation (SHG), a process that turns out to be a good test case in the physics lab, can also be considered as a fairly simple theoretical test function for g...
138
click to vote
ENTCS
2007
15 years 4 months ago
2007
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
130
click to vote
JUCS
2007
15 years 4 months ago
2007
: The distribution of overlaps of solutions of a random constraint satisfaction problem (CSP) is an indicator of the overall geometry of its solution space. For random k-SAT, nonri...
118
click to vote
EJWCN
2010
14 years 11 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
224
click to vote
ICDE
2012
IEEE
13 years 7 months ago
2012
IEEE
— We consider the approximate string membership checking (ASMC) problem of extracting all the strings or substrings in a document that approximately match some string in a given ...