1754 search results - page 129 / 351 » What's new in informatics |
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
ion for Concurrent Objects Ivana Filipovi´c, Peter O’Hearn, Noam Rinetzky, and Hongseok Yang Queen Mary University of London, UK Concurrent data structures are usually designed ...
EVOW
2009
Springer
14 years 4 months ago
2009
Springer
Dynamic time-linkage problems (DTPs) are common types of dynamic optimization problems where "decisions that are made now ... may in‡uence the maximum score that can be obta...
MCS
2009
Springer
14 years 4 months ago
2009
Springer
There are a variety of methods for inducing predictive systems from observed data. Many of these methods fall into the field of study of machine learning. Some of the most effec...
CSIE
2009
IEEE
14 years 4 months ago
2009
IEEE
Customers are usually passive in an electronic commerce transaction. Based on a new two times concurrent signature, this article presents a fair electronic payment (E-payment) pro...
ESAW
2009
Springer
14 years 4 months ago
2009
Springer
This demonstration will be the presentation of a new testbed for joint activity. The domain for this demonstration will be similar to the classic AI planning problem of Blocks Worl...