Export 306 results:
Coordinated Management of Large-Scale Networks Using Constraint Satisfaction. Second Workshop on Intelligent Security (Security and Artificial Intelligence) SecArt ’10, Twenty-Fourth AAAI Conference on Artificial Intelligence.. 2010.
Eliciting Planning Information from Subject Matter Experts. ICAPS 2010 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS).. 2010.
Enhanced Document Representation to Support Automatic Retrieval of Clinical Evidence from The Cochrane Library. KEDDH Workshop at IEEE International Conference on Bioinformatics & Biomedicine (BIBM-10).. 2010.
Experienced Physicians and Automatic Generation of Decision Rules from Clinical Data. Rough Sets and Current Trends in Computing - 7th International Conference, RSCTC 2010.. 2010.
Hydrogen compounds of group-IV nanosheets. Applied Physics Letters. 97. 2010.
Identifying Inconsistencies in Multiple Clinical Practice Guidelines for a Patient with Co-morbidity. KEDDH Workshop at IEEE International Conference on Bioinformatics & Biomedicine (BIBM-10).. 2010.
Planning for Human Execution of Procedures Using ANML. ICAPS 2010 Scheduling and Planning Applications Workshop.. 2010.
A Compositional Scheduling Framework for Digital Avionics Systems. IEEE Real-Time Computing Systems and Applications.. 2009.
Modeling Clinical Practice Guidelines using Predicate Logic for Reasoning with Incomplete Patient’s Data. 20th International Conference on Multiple Criteria Decision Making, Chengdu China (2009).. 2009.
Ontological Models to Support Planning Operations. International Workshop on Planning and Scheduling for Space (IWPSS).. 2009.
Verifiable Composition of Deterministic Grammars. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).. 2009.
Verifiable Parse Table Composition for Deterministic Parsing. 2nd International Conference on Software Language Engineering.. 2009.