5384 search results - page 390 / 1077 » Open Standards Requirements |
182
click to vote
AAAI
1997
15 years 8 months ago
1997
We present empirical evidence that the distribution of e ort required to solve CSPs randomly generated at the 50% satis able point, when using a backtracking algorithm, can be app...
191
click to vote
LFP
1994
15 years 8 months ago
1994
We have implemented a concurrent copying garbage collector that uses replicatinggarbage collection. In our design, the client can continuously access the heap during garbage colle...
183
Voted
IJVR
2008
15 years 7 months ago
2008
Solving robotic exercises is a difficult task for students because the modeling activity involved requires students to comprehend programming, robotic design concepts as well as ba...
217
click to vote
JUCS
2000
15 years 6 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
186
click to vote
MOC
2000
15 years 6 months ago
2000
We treat the time discretization of an initial-value problem for a ous abstract parabolic equation by first using a representation of the solution as an integral along the boundary...