4426 search results - page 158 / 886 » Concurrent Constraint Programming |
133
click to vote
JUCS
2007
15 years 4 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
164
click to vote
BIBM
2010
IEEE
15 years 2 months ago
2010
IEEE
We propose a method for finding CRMs in a set of co-regulated genes. Each CRM consists of a set of binding sites of transcription factors. We wish to find CRMs involving the same t...
154
click to vote
CONSTRAINTS
2007
15 years 4 months ago
2007
We give an approximate and often extremely fast method of building a particular kind of portfolio in finance, here called a portfolio design (PD), with applications in the credit ...
130
click to vote
AIPS
2011
14 years 8 months ago
2011
In recent years, there has been considerable interest in the use of planning techniques in new media and computer games. Many traditional planning notions no longer apply in the c...
137
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that facilitate...