„Computing Methodologies.“

Suchergebnisse

1.689 Treffer

• Model checking driven static analysis for the real world: designing and tuning large scale bug detection
  Fehnker, Ansgar ; Huuck, Ralf
• Introduction to data mining for sustainability
  Morik, Katharina ; Bhaduri, Kanishka ; Kargupta, Hillol
• Agent-based architectural framework enhancing configurability, autonomy and scalability of context-aware pervasive services
  Dimakis, Nikolaos ; Soldatos, John ; Polymenakos, Lazaros ; Bürkle, Axel ; Pfirrmann, Uwe ; Sutschet, Gerhard
• A tactile feedback system for VE applications
  Bergamasco, M. ; Alessi, A. A. ; Arceri, V. ; Calcara, M. ; Caruso, S. ; Conte, P. G. ; Hell, L. ; Natalini, A. ; Percro
• Environment as a first class abstraction in multiagent systems
  Weyns, Danny ; Omicini, Andrea ; Odell, James
• A Design Methodology for Medical Processes
  Ferrante, Simona ; Bonacina, Stefano ; Pozzi, Giuseppe ; Pinciroli, Francesco ; Marceglia, Sara
• Aspiring to Unintended Consequences of Natural Language Processing: A Review of Recent Developments in Clinical and Consumer-Generated Text Processing
  Demner-Fushman, D. ; Elhadad, N.
• The Renewed Promise of Medical Informatics
  van Bemmel, J. H. ; McCray, A. T.
• Challenges and Potential Solutions for Big Data Implementations in Developing Countries
  Luna, D. R. ; Mayan, J. C. ; García, M. J. ; Almerares, A. A. ; Househ, M.
• Information Systems to Support Medical Practice and Scientific Discovery
  Lindberg, D. A. B.
• BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance
  Mȩski, Artur ; Penczek, Wojciech ; Szreter, Maciej ; Woźna-Szcześniak, Bożena ; Zbrzezny, Andrzej
• A scheduling algorithm for tasks described by Time Value Function
  Chen, Ken ; Muhlethaler, Paul
• Active learning for vision-based robot grasping
  Salganicoff, Marcos ; Ungar, Lyle H. ; Bajcsy, Ruzena
• Characteristic Sets for Polynomial Grammatical Inference
  de la Higuera, Colin
• Extensions of generalized two-qubit separability probability analyses to higher dimensions, additional measures and new methodologies
  Slater, Paul B.
• Constraints for symmetry breaking in graph representation
  Codish, Michael ; Miller, Alice ; Prosser, Patrick ; Stuckey, Peter J.
• Exploiting Parallel R in the Cloud with SPRINT
  Piotrowski, M. ; McGilvary, G. A. ; Sloan, T. M. ; Mewissen, M. ; Lloyd, A. D. ; Forster, T. ; Mitchell, L. ; Ghazal, P. ; Hill, J.
• Towards a Traceable Clinical Guidelines Application – A Model-driven Approach
  Domínguez, E. ; Pérez, B. ; Zapata, M.
• Pathway Based Microarray Analysis, Utilising Enzyme Compounds and Cascade Events
  Pavlidis, S. ; Swift, S. ; Payne, A.
• Second-order asymptotics in a class of purely sequential minimum risk point estimation (MRPE) methodologies
  Hu, Jun ; Mukhopadhyay, Nitis