11214 search results - page 389 / 2243 » Programming Multi-agent Systems |
167
click to vote
FUIN
2006
15 years 6 months ago
2006
We prove that negative hyper-resolution using any liftable and well-founded ordering refinement is a sound and complete procedure for answering queries in disjunctive logic program...
160
click to vote
MOR
2006
15 years 6 months ago
2006
For a locally optimal solution to the nonlinear semidefinite programming problem, under Robinson's constraint qualification, the following conditions are proved to be equival...
148
click to vote
ORL
2006
15 years 6 months ago
2006
We consider a general adversarial stochastic optimization model. Our model involves the design of a system that an adversary may subsequently attempt to destroy or degrade. We int...
221
click to vote
AADEBUG
2005
Springer
16 years 11 days ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
212
click to vote
CLOUD
2010
ACM
15 years 12 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...