2958 search results - page 451 / 592 » Extending and Implementing RASP |
121
click to vote
FORTE
2008
15 years 5 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
134
click to vote
KRMED
2008
15 years 5 months ago
2008
By constructing local extensions to SNOMED we aim to enrich existing medical and related data stores, simplify the expression of complex queries, and establish a foundation for se...
129
click to vote
IJCAI
2007
15 years 5 months ago
2007
Typically, autonomous believable agents are implemented using static, hand-authored reactive behaviors or scripts. This hand-authoring allows designers to craft expressive behavio...
125
click to vote
AAAI
2004
15 years 5 months ago
2004
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
132
click to vote
APBC
2004
15 years 5 months ago
2004
Automatically mining protein pathway information from the vast amount of published literature has been an increasing need from the pharmaceutical industry and biomedical research ...