1567 search results - page 49 / 314 » A Mechanized Model of the Theory of Objects |
PODC
2005
ACM
15 years 7 months ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
121
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Recent advances in genome technologies have provided an excellent opportunity to determine the complete biological characteristics of neoplastic tissues, resulting in ...
158
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE
Thispaper presents an information-theoreticstudy ofvideo codecs that are based on the principle of source coding with side information at the decoder In contrast to the classical ...
187
click to vote
GLOBAL
2003
Springer
15 years 6 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...