2635 search results - page 178 / 527 » Computing multihomogeneous resultants using straight-line pr... |
154
Voted
POPL
1989
ACM
15 years 5 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
103
click to vote
COR
2008
2008
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
15 years 1 months ago
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatica...
SARA
2009
Springer
15 years 7 months ago
2009
Springer
Perfect recall is the common and natural assumption that an agent never forgets. As a consequence, the agent can always condition its choice of action on any prior observations. I...
109
Voted
UM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Recent sensor technologies have enabled the capture of users’ behavior data. Given the large amount of data currently available from sensor-equipped environments, it is...
115
click to vote
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...