72 search results - page 14 / 15 » Real Time Temporal Logic: Past, Present, Future |
ICAI
2003
13 years 6 months ago
2003
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...
HRI
2006
ACM
13 years 11 months ago
2006
ACM
The design and development of social robots that interact and assist people in daily life requires moving into unconstrained daily-life environments. This presents unexplored meth...
CGF
2004
13 years 5 months ago
2004
Issues of digital preservation of shapes and internal structures of historical cultural objects are discussed. An overview of existing approaches to digital preservation related t...
ISLPED
2009
ACM
13 years 11 months ago
2009
ACM
Power management has been a critical issue in the design of embedded systems due to the limited power supply. To prolong the lifetime, energy minimization has been studied under p...
BMCBI
2007
13 years 5 months ago
2007
Background: We have developed a new haplotyping program based on the combination of an iterative multiallelic EM algorithm (IEM), bootstrap resampling and a pseudo Gibbs sampler. ...