1593 search results - page 179 / 319 » A visual programming system for automated problem solving |
167
click to vote
CPHYSICS
2006
15 years 4 months ago
2006
A new stochastic clustering algorithm is introduced that aims to locate all the local minima of a multidimensional continuous and differentiable function inside a bounded domain. ...
119
click to vote
SIGSOFT
1996
ACM
15 years 8 months ago
1996
ACM
Abstractions in Large Systems William G. Griswold, Member, IEEE, Morison I. Chen, Robert W. Bowdidge, Jenny L. Cabaniss, Van B. Nguyen, and J. David Morgenthaler Restructuring soft...
126
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
138
click to vote
ICEIS
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper investigates Grid computing from the point of view three basic computing platforms. The platform consists of virtual compute resources, a programming environment all...
135
click to vote
ICALP
2001
Springer
15 years 9 months ago
2001
Springer
We work with an extension of Resolution, called Res(2), that allows clauses with conjunctions of two literals. In this system there are rules to introduce and eliminate such conju...