3066 search results - page 437 / 614 » On Facilitating Automated Evaluation |
TARK
2007
Springer
14 years 2 months ago
2007
Springer
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...
TIME
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
AIME
2005
Springer
14 years 1 months ago
2005
Springer
Sketching is ubiquitous in medicine. Physicians commonly use sketches as part of their note taking in patient records and to help convey diagnoses and treatments to patients. Medic...
MICCAI
2005
Springer
14 years 1 months ago
2005
Springer
Dynamic contrast-enhanced 4-D MR renography has the potential for broad clinical applications, but suffers from respiratory motion that limits analysis and interpretation. Since ea...
PCI
2005
Springer
14 years 1 months ago
2005
Springer
Nowadays, the number of protein sequences being stored in central protein databases from labs all over the world is constantly increasing. From these proteins only a fraction has b...