2635 search results - page 129 / 527 » Computing multihomogeneous resultants using straight-line pr... |
115
click to vote
SPIN
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
121
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
We propose two characterizations of complexity classes by means of programming languages. The first concerns Logspace while the second leads to Ptime. This latter characterization ...
115
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
136
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— An evolutionary algorithm automatically discovers suitable solutions to a problem, which may lie anywhere in a large search space of candidate solutions. In the case of Genetic...
170
click to vote
KDD
2004
ACM
15 years 9 months ago
2004
ACM
Using SQL has not been considered an efficient and feasible way to implement data mining algorithms. Although this is true for many data mining, machine learning and statistical a...