908 search results - page 88 / 182 » Generating maximal models using the stable model semantics |
147
click to vote
WSC
1998
15 years 5 months ago
1998
We consider a new simulation-based optimization method called the Nested Partitions (NP) method. This method generates a Markov chain and solving the optimization problem is equiv...
171
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
146
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
140
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
The prediction of the native structures of proteins, the socalled protein folding problem, is a NP hard multi-minima optimization problem for which to date no routine solutions ex...
132
Voted
IV
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we present a new approach for using semantic wikis for collaborative patent search and annotation. We describe an extension that allows integrating interactive visua...