5022 search results - page 591 / 1005 » Data structures and problem solving using Java |
130
click to vote
TPHOL
2000
IEEE
15 years 7 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
155
Voted
DCOSS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We consider the problem of estimating the locations of mobile agents by fusing the measurements of displacements of the agents as well as relative position measurements b...
116
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Various local search approaches have recently been applied to machine scheduling problems under multiple objectives. Their foremost consideration is the identification of the set ...
129
click to vote
ISCI
2007
15 years 3 months ago
2007
A Project Scheduling Problem consists in deciding who does what during the software project lifetime. This is a capital issue in the practice of software engineering, since the to...
133
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
The problem of dynamical tomography consists in reconstructing a temporal sequence of images from their noisy projections. For this purpose, a recursive algorithm is usually used,...