813 search results - page 152 / 163 » Correctness Properties for Multiagent Systems |
138
Voted
ATMOS
2008
15 years 5 months ago
2008
Delay management is an important issue in the daily operations of any railway company. The task is to update the planned timetable to a disposition timetable in such a way that the...
115
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Prediction of catalytic residues is a major step in characterizing the function of enzymes. In its simpler formulation, the problem can be cast into a binary classific...
138
Voted
NAR
2008
15 years 3 months ago
2008
The drug classification scheme of the World Health Organization (WHO) [Anatomical Therapeutic Chemical (ATC)-code] connects chemical classification and therapeutic approach. It is...
121
click to vote
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
Abstract-In discrete detector PET, natural pixels are image basis functions calculated from responses of detector pairs. By using reconstruction with natural pixels the discretizat...
152
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...