5216 search results - page 839 / 1044 » Planning as Model Checking |
173
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Breast cancer is the leading cause of cancer mortality in women between the ages of 15 and 54. During mammography screening, radiologists use a strict lexicon (BI-RADS) ...
168
click to vote
CEEMAS
2005
Springer
15 years 12 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
196
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
174
click to vote
RAID
2004
Springer
15 years 11 months ago
2004
Springer
As the frequency of attacks faced by the average host connected to the Internet increases, reliance on manual intervention for response is decreasingly tenable. Operating system an...
134
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...