6306 search results - page 333 / 1262 » Space, Time, and the Use of Language |
264
Voted
ESOP
2000
Springer
15 years 11 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
203
click to vote
ROBOCUP
2007
Springer
16 years 1 months ago
2007
Springer
The existing reinforcement learning approaches have been suffering from the curse of dimension problem when they are applied to multiagent dynamic environments. One of the typical...
223
click to vote
ALENEX
2001
15 years 9 months ago
2001
Range searches in metric spaces can be very di cult if the space is \high dimensional", i.e. when the histogram of distances has a large mean and a small variance. The so-cal...
217
click to vote
BMCBI
2011
15 years 2 months ago
2011
Background: Tumor cells are considered to have an aberrant cell state, and some evidence indicates different development states appearing in the tumorigenesis. Embryonic developme...
241
Voted
SOICT
2010
15 years 2 months ago
2010
Protecting data by passwords in documents such as DOC, PDF or RAR, ZIP archives has been demonstrated to be weak under dictionary attacks. Time for recovering the passwords of suc...