2261 search results - page 217 / 453 » Relationships Between Models of Concurrency |
WDAG
2010
Springer
13 years 6 months ago
2010
Springer
We argue that traditional synchronization objects, such as locks, conditions, and atomic/volatile variables, should be defined in terms of transactions, rather than the other way ...
TSMC
2010
13 years 3 months ago
2010
In Smart Spaces (SSs), the capability of learning from experience is fundamental for autonomous adaptation to environmental changes and for proactive interaction with users. New re...
ICIP
1998
IEEE
14 years 9 months ago
1998
IEEE
Motion stereo is to extract the 3-0 information of an object from images of a moving camera, using geometric relationships between corresponding points. This paper presents an acc...
BIOSYSTEMS
2007
13 years 8 months ago
2007
This paper develops an algorithm that extracts explanatory rules from microarray data, which we treat as time series, using genetic programming (GP) and fuzzy logic. Reverse polis...
SSS
2010
Springer
13 years 6 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...