Search results for "Computational models"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Michal Armoni, Judith Gal-Ezer	Reduction -- an abstract thinking pattern: the case of the computational models course.	SIGCSE	2006	DBLP DOI BibTeX RDF	abstraction, computational models, reduction, reductive thinking
3	Jean-François Hermant, Gérard Le Lann	Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Asynchronous computational models, partially synchronous computational models, uniform consensus, real-time distributed fault-tolerant computing, safety, coverage, schedulability analysis, liveness, timeliness, unreliable failure detectors
2		Computational Models of Natural Argument, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011	Computational Models of Natural Argument	2011	DBLP BibTeX RDF
2	Nancy L. Green, Brian Stadler, Jennifer Kimbrough	Adding Affective Argumentation to the GenIE Assistant.	Computational Models of Natural Argument	2011	DBLP BibTeX RDF
2	Chrysanne DiMarco, Randy Allen Harris	The RhetFig Project: Computational Rhetorics and Models of Persuasion.	Computational Models of Natural Argument	2011	DBLP BibTeX RDF
2	Pranav Anand, Joseph King, Jordan L. Boyd-Graber, Earl Wagner, Craig H. Martell, Douglas W. Oard, Philip Resnik	Believe Me - We Can Do This! Annotating Persuasive Acts in Blog Text.	Computational Models of Natural Argument	2011	DBLP BibTeX RDF
2	Ricky J. Sethi, Yolanda Gil	A Social Collaboration Argumentation System for Generating Multi-Faceted Answers in Question and Answer Communities.	Computational Models of Natural Argument	2011	DBLP BibTeX RDF
2	Katarzyna Budzynska, Chris Reed	Speech Acts of Argumentation: Inference Anchors and Peripheral Cues in Dialogue.	Computational Models of Natural Argument	2011	DBLP BibTeX RDF
2	Hao Chen, Jie Han	Stochastic computational models for accurate reliability evaluation of logic circuits.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	stochastic computation, stochastic computational model, fault tolerance, logic circuits, reliability evaluation
2	Chris Reed, Simon Wells, Katarzyna Budzynska, Joseph Devereux	Building arguments with argumentation: the role of illocutionary force in computational models of argument.	COMMA	2010	DBLP DOI BibTeX RDF
2	Elias Pampalk, Perfecto Herrera, Masataka Goto	Computational Models of Similarity for Drum Samples.	IEEE Transactions on Audio, Speech & Language Processing	2008	DBLP DOI BibTeX RDF
2	Mohamed Hamada	Supporting Materials for Active e-Learning in Computational Models.	ICCS	2008	DBLP DOI BibTeX RDF
2	David L. Roberts, Charles Lee Isbell Jr., Mark O. Riedl, Ian Bogost, Merrick L. Furst	On the Use of Computational Models of Influence for Managing Interactive Virtual Experiences.	ICIDS	2008	DBLP DOI BibTeX RDF
2	Gerardo Ayala, Sergio Castillo	Towards Computational Models for Mobile Learning Objects.	WMUTE	2008	DBLP DOI BibTeX RDF	mobile learning objects, learning objects, mlearning
2	Nicholas Ayache	Computational Models of the Human Body for Medical Image Analysis.	VECPAR	2008	DBLP DOI BibTeX RDF
2	Frederick Shic, Brian Scassellati	A Behavioral Analysis of Computational Models of Visual Attention.	International Journal of Computer Vision	2007	DBLP DOI BibTeX RDF	computational attention, robot attention, human validation, gaze metric, classification strategy, eye-tracking, dimensionality reduction, behavioral analysis, saliency map, visual attention model
2	Remo Job, Claudio Mulatti	Do Computational Models of Reading Need a Bit of Semantics?	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
2	Maria Vicente A. Bonto-Kane	Use of formal computational models for designing intelligent mobile device interfaces.	Mobile HCI	2007	DBLP DOI BibTeX RDF
2	Leonard J. Trejo, Kevin Knuth, Raquel Prado, Roman Rosipal, Karla Kubitz, Rebekah Kochavi, Bryan Matthews, Yuzheng Zhang	EEG-Based Estimation of Mental Fatigue: Convergent Evidence for a Three-State Model.	HCI	2007	DBLP DOI BibTeX RDF	mental fatigue, computational models, EEG, situation awareness, performance monitoring, augmented cognition, alertness
2	Gilbert Owusu	AI and computer-based methods in performance evaluation of sporting feats: an overview.	Artif. Intell. Rev.	2007	DBLP DOI BibTeX RDF	AI technologies, Performance evaluation of sporting feats, Critiquing of sporting feats, Computational models
2	Yunquan Zhang, Guoliang Chen, Guangzhong Sun, Qiankun Miao	Models of parallel computation: a survey and classification.	Frontiers of Computer Science in China	2007	DBLP DOI BibTeX RDF	three generations, memory model, parallel computational models, hierarchical memory, hierarchical parallelism
2	Brenda R. J. Jansen, Maartje E. J. Raijmakers, Ingmar Visser	Rule transition on the balance scale task: a case study in belief change.	Synthese	2007	DBLP DOI BibTeX RDF	Balance scale task, Computational models, Cognitive development
2	Bruce M. McLaren	Computational Models of Ethical Reasoning: Challenges, Initial Steps, and Future Directions.	IEEE Intelligent Systems	2006	DBLP DOI BibTeX RDF	casuistry, artificial intelligence, case-based reasoning, machine ethics
2	José M. Garrido, Amit Jain	A repository for multi-disciplinary computational models and tools.	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	information security models, linear and non-linear, network, computational modeling, repository
2	Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster	04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models.	Spatial Representation	2005	DBLP BibTeX RDF
2	Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster	04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models.	Spatial Representation	2005	DBLP BibTeX RDF
2	Michael Beetz	Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
2	Ekaterina Zhuchkova, Richard Clayton	Methods for Identifying and Tracking Phase Singularities in Computational Models of Re-entrant Fibrillation.	FIMH	2005	DBLP DOI BibTeX RDF
2	Udi Boker, Nachum Dershowitz	How to Compare the Power of Computational Models.	CiE	2005	DBLP DOI BibTeX RDF
2	Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio	Agent Modelling for CSCL Environments using Answer Sets Programming.	ENC	2005	DBLP DOI BibTeX RDF	agents, computational models, intelligent systems, constructionism
2	Michal Armoni, Judith Gal-Ezer	On the achievements of high school students studying computational models.	ITiCSE	2004	DBLP DOI BibTeX RDF	computer-related background, mathematics level, computational model, finite automata, turing machines, pushdown automata
2	Xuecheng Yin, Kok-Meng Lee, Chao-Chieh Lan	Computational Models for Predicting the Deflected Shape of a Non-uniform, Flexible Finger.	ICRA	2004	DBLP DOI BibTeX RDF
2	Amy Soller, Patrick Jermann, Martin Muehlenbrock, Alejandra Martínez-Monés, Angeles Constantino González, Alain Derycke, Pierre Dillenbourg, Bradley A. Goodman, Katrin Gaßner, Elena Gaudioso, Peter Reimann, Marta C. Rosatelli, Ron Stevens, Julita Vassileva	Workshop on Designing Computational Models of Collaborative Learning Interaction.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
2	Roderick V. N. Melnik, Anthony J. Roberts	Computational Models for Materials with Shape Memory: Towards a Systematic Description of Coupled Phenomena.	International Conference on Computational Science	2002	DBLP DOI BibTeX RDF
2	Weidong Zhou, Richard Coggins	Computational Models of the Amygdala and the Orbitofrontal Cortex: A Hierarchical Reinforcement Learning System for Robotic Control.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
2	Henry Prakken, Giovanni Sartor	The Role of Logic in Computational Models of Legal Argument: A Critical Survey.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
2	John S. Gero	Computational models of creative designing based on situated cognition.	Creativity & Cognition	2002	DBLP DOI BibTeX RDF	cognitive simulation, artificial intelligence, computer-aided design, multiagent systems, intelligent agents, creativity
2	Kim Steenstrup Pedersen, Ann B. Lee	Toward a Full Probability Model of Edges in Natural Images.	ECCV	2002	DBLP DOI BibTeX RDF	probability model of local geometry, biologically-inspired computational models, scale-space, image features, Natural image statistics
2	Douglas Antony Louis Piriyakumar, Paul Levi, Rolf Rabenseifner	Enhanced File Interoperability with Parallel MPI File-I/O in Image Processing.	PVM/MPI	2002	DBLP DOI BibTeX RDF	File Interoperability, Image processing and Human recognition, Parallel Algorithms, Computational Models, Supercomputer
2	Chris Reed, Floriana Grasso	Computational Models of Natural Language Argument.	International Conference on Computational Science	2001	DBLP DOI BibTeX RDF
2	Andrew U. Frank, Steffen Bittner, Martin Raubal	Spatial and Cognitive Simulation with Multi-agent Systems.	COSIT	2001	DBLP DOI BibTeX RDF	computational models, Spatial cognition, multi-agent simulation
2	Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi	Verifying temporal constraints on data in multi-rate transactions using timed automata.	RTCSA	2000	DBLP DOI BibTeX RDF	temporal constraint verification, multi-rate transactions, nonpreemptive execution order, scheduling, real-time systems, real-time systems, program verification, transaction processing, computational models, timed automata, data dependencies, schedulability analysis, reachability analysis, reachability analysis, automata theory, end-to-end latency
2	Marian Gheorghe	Generalised Stream X-Machines and Cooperating Distributed Grammar Systems.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Cooperating distributed grammar systems, Generalised stream X-machines, Computational models, Turing machines, Formal grammars
2	Guo Tao, Yuanxiang Li, Lishan Kang, SungChun Kim	CA Based Parallel Computational Models for Nonlinear Parabolic Systems.	ISPAN	1996	DBLP DOI BibTeX RDF	output queueing, Batcher sorter, radix-r double- network, packet distributor, FAB network, output buffer modules, ATM switch
2	George A. Papadopoulos, Farhad Arbab	Coordination of Systems with Real-Time Properties in Manifold. (PDF / PS)	COMPSAC	1996	DBLP DOI BibTeX RDF	real-time system coordination, asynchronous timed computations, real-time coordination, MANIFOLD coordination language, bounded response time, timed asynchronous computational models, concurrent constraint languages, complex software system building, complex hardware system building, distributed multimedia application development, real-time systems, timing, software reusability, reusability, parallel languages, multimedia computing, coordination models
2	Hojjat Adeli	Neurocomputing for large-scale design automation.	ANNES	1995	DBLP DOI BibTeX RDF	large scale design automation, neurocomputing algorithms, novel design theories, large scale design optimization, high performance computer architecture, optimisation, computational models, neural nets, design engineering, mathematical optimization
2	Bruce M. Maggs, Lesley R. Matheson, Robert Endre Tarjan	Models of parallel computation: a survey and synthesis.	HICSS	1995	DBLP DOI BibTeX RDF	unifying parallel model, machine diversity, machine design, design community, unifying paradigm, model design philosophy, prescriptivity, abstract computational models, performance, parallel processing, survey, language design, reviews, algorithm design, computation theory, simplicity, descriptivity, parallel computation models
2	Neucimar Jerônimo Leite, Gilles Bertrand	Computational Models for Image Processing: Towards a Concise Parallel Language.	CONPAR	1992	DBLP DOI BibTeX RDF
2	Jaak Vilo	Implementing Attribute Grammars by Computational Models.	PLILP	1992	DBLP DOI BibTeX RDF
1	Raouf Boutaba, Lu Cheng, Qi Zhang	On Cloud computational models and the heterogeneity challenge.	J. Internet Services and Applications	2012	DBLP DOI BibTeX RDF
1	Michael Oakes	Alexander Mehler, Serge Sharoff and Marina Santini (eds.): Genres on the web: computational models and emprical studies - Springer, 2010, 362 pp.	Language Resources and Evaluation	2012	DBLP DOI BibTeX RDF
1	Ivan Raikov, Erik De Schutter	The Promise and Shortcomings of XML as an Interchange Format for Computational Models of Biology.	Neuroinformatics	2012	DBLP DOI BibTeX RDF
1	Christina Klüver, Jürgen Klüver	Introduction: social-cognitive complexity, computational models and theoretical frames.	Computational & Mathematical Organization Theory	2012	DBLP DOI BibTeX RDF
1	Salvador Romaguera, Pedro Tirado, Oscar Valero	Complete partial metric spaces have partially metrizable computational models.	Int. J. Comput. Math.	2012	DBLP DOI BibTeX RDF
1	Paul C. Kainen, Vera Kurková, Marcello Sanguineti	Dependence of Computational Models on Input Dimension: Tractability of Approximation and Optimization Tasks.	IEEE Transactions on Information Theory	2012	DBLP DOI BibTeX RDF
1	Bruno Blanchet	Security Protocol Verification: Symbolic and Computational Models.	POST	2012	DBLP DOI BibTeX RDF
1	Oscar Camara, Ender Konukoglu, Mihaela Pop, Kawal S. Rhode, Maxime Sermesant, Alistair A. Young (eds.)	Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges - Second International Workshop, STACOM 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers	STACOM	2012	DBLP DOI BibTeX RDF
1	Jirí Wiedermann	Towards Computational Models of Artificial Cognitive Systems That Can, in Principle, Pass the Turing Test.	SOFSEM	2012	DBLP DOI BibTeX RDF
1	Marcel Stimberg	Computational models of contrast and orientation processing in primary visual cortex.		2011	RDF
1	Carme Àlvarez, Ioannis Chatzigiannakis, Amalia Duch, Joaquim Gabarró, Othon Michail, Maria J. Serna, Paul G. Spirakis	Computational models for networks of tiny artifacts: A survey.	Computer Science Review	2011	DBLP DOI BibTeX RDF
1	Andrew K. Miller, Tommy Yu, Randall Britten, Mike T. Cooling, James R. Lawson, Dougal Cowan, Alan Garny, Matt D. B. Halstead, Peter J. Hunter, David P. Nickerson, Geoff Nunns, Sarala M. Wimalaratne, Poul M. F. Nielsen	Revision history aware repositories of computational models of biological systems.	BMC Bioinformatics	2011	DBLP DOI BibTeX RDF
1	Jianer Chen, S. Barry Cooper	Algorithms, complexity and computational models.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Tarek Helmy, Anifowose Fatai, Kanaan A. Faisal	Corrigendum to "Hybrid computational models for the characterization of oil and gas reservoirs" [Expert Systems with Applications 37 (2010) 5353-5363].	Expert Syst. Appl.	2011	DBLP DOI BibTeX RDF
1	Tarek Helmy, Anifowose Fatai, Kanaan A. Faisal	Corrigendum to "Hybrid computational models for the characterization of oil and gas reservoirs" [Experts Systems with Applications 36 (7) (2010) 5353-5363].	Expert Syst. Appl.	2011	DBLP DOI BibTeX RDF
1	Dirk Reith, Karl N. Kirschner	A modern workflow for force-field development - Bridging quantum mechanics and atomistic computational models.	Computer Physics Communications	2011	DBLP DOI BibTeX RDF
1	Abir U. Igamberdiev	Special issue: Computational models in photosynthesis.	Biosystems	2011	DBLP DOI BibTeX RDF
1	Giorgio Gnecco, Vera Kurková, Marcello Sanguineti	Can dictionary-based computational models outperform the best linear ones?	Neural Networks	2011	DBLP DOI BibTeX RDF
1	Quentin J. M. Huys, Michael Moutoussis, Jonathan Williams	Are computational models of any use to psychiatry?	Neural Networks	2011	DBLP DOI BibTeX RDF
1	Giorgio Gnecco, Vera Kurková, Marcello Sanguineti	Some comparisons of complexity in dictionary-based and linear computational models.	Neural Networks	2011	DBLP DOI BibTeX RDF
1	Aruna Shenoy, Sue H. Anthony, Ray J. Frank, Neil Davey	Categorizing facial expressions: a comparison of computational models.	Neural Computing and Applications	2011	DBLP DOI BibTeX RDF
1	John L. Baker, Giorgio A. Ascoli	Tracking the Source of Quantitative Knowledge in Neuroscience: A Neuroinformatics Role for Computational Models.	Neuroinformatics	2011	DBLP DOI BibTeX RDF
1	Vassilios Gregoriades	Computational Models of Certain Hyperspaces of Quasi-metric Spaces	Logical Methods in Computer Science	2011	DBLP DOI BibTeX RDF
1	Ion Petre, Erik P. de Vink (eds.)	Proceedings Third International Workshop on Computational Models for Cell Processes	CompMod	2011	DBLP DOI BibTeX RDF
1	Mahdi Aliakbari, Massoud Pourmahdian	Computational Models of Certain Hyperspaces of Quasi-metric Spaces	Logical Methods in Computer Science	2011	DBLP DOI BibTeX RDF
1	Eva Hudlicka	Guidelines for Designing Computational Models of Emotions.	IJSE	2011	DBLP BibTeX RDF
1		Invited Commentaries: Responses to Eva Hudlicka's "Guildelines for Designing Computational Models of Emotions".	IJSE	2011	DBLP DOI BibTeX RDF
1	Erzsébet Csuhaj-Varjú, György Vaszil	Expanding Formal Language and Automata Theory: Bio-inspired Computational Models.	ERCIM News	2011	DBLP BibTeX RDF
1	John K. Tsotsos, Albert L. Rothenstein	Computational models of visual attention.	Scholarpedia	2011	DBLP DOI BibTeX RDF
1	Lorenzo Menconi, Marco Gori, Marco Lippi	Computational models for short-term prediction of the stock market.	Intelligenza Artificiale	2011	DBLP DOI BibTeX RDF
1		Computational Models.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Graciano Dieck Kattas, Michael Small	Building Computational Models of Swarms from Simulated Positional Data.	ICSI	2011	DBLP DOI BibTeX RDF
1	Floriana Esposito, Nicola Di Mauro, Claudio Taranto, Stefano Ferilli	Computational Models Enhancing Semantic Access to Digital Repositories.	IRCDL	2011	DBLP DOI BibTeX RDF
1	Mauro Villarini, M. Limiti, R. Impero Abenavoli	Overview and Comparison of Global Concentrating Solar Power Incentives Schemes by Means of Computational Models.	ICCSA	2011	DBLP DOI BibTeX RDF
1	Rong Yang, Christopher Kiekintveld, Fernando Ordóñez, Milind Tambe, Richard John	Improved computational models of human behavior in security games.	AAMAS	2011	DBLP BibTeX RDF
1	Luis-Felipe Rodríguez, Félix Ramos, Yingxu Wang	Cognitive computational models of emotions.	IEEE ICCI*CC	2011	DBLP DOI BibTeX RDF
1	Daniel Romero 0003, Frank B. Sachse, Rafael Sebastián, Alejandro F. Frangi	Towards High Resolution Computational Models of the Cardiac Conduction System: A Pipeline for Characterization of Purkinje-Ventricular-Junctions.	FIMH	2011	DBLP DOI BibTeX RDF
1	Pietro Liò, Emanuela Merelli, Nicola Paoletti	Multiple verification in computational modeling of bone pathologies	CompMod	2011	DBLP DOI BibTeX RDF
1	Luca Bortolussi, Alberto Policriti	Programmable models of growth and mutation of cancer-cell populations	CompMod	2011	DBLP DOI BibTeX RDF
1	Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Angelo Troina	Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments	CompMod	2011	DBLP DOI BibTeX RDF
1	Livio Bioglio	A Minimal OO Calculus for Modelling Biological Systems	CompMod	2011	DBLP DOI BibTeX RDF
1	Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter	A Study of the PDGF Signaling Pathway with PRISM	CompMod	2011	DBLP DOI BibTeX RDF
1	Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek	Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)	CompMod	2011	DBLP DOI BibTeX RDF
1	Vashti Galpin, Jane Hillston, Federica Ciocchetta	A semi-quantitative equivalence for abstracting from fast reactions	CompMod	2011	DBLP DOI BibTeX RDF
1	Azar Rahimi, Hongda Mao, Pengcheng Shi, Linwei Wang	Toward Clinically-Feasible Noninvasive Electrophysiological Imaging: Investigating the Impact of Local Anatomical Details.	STACOM	2011	DBLP DOI BibTeX RDF
1	Vicky Y. Wang, Daniel B. Ennis, Brett R. Cowan, Alistair A. Young, Martyn P. Nash	Myocardial Contractility and Regional Work throughout the Cardiac Cycle Using FEM and MRI.	STACOM	2011	DBLP DOI BibTeX RDF
1	Mathieu De Craene, Catalina Tobon-Gomez, Constantine Butakoff, Nicolas Duchateau, Gemma Piella, Kawal S. Rhode, Alejandro F. Frangi	Temporal Diffeomorphic Free Form Deformation (TDFFD) Applied to Motion and Deformation Quantification of Tagged MRI Sequences.	STACOM	2011	DBLP DOI BibTeX RDF
1	Johannes Ulén, Petter Strandmark, Fredrik Kahl	Optimization for Multi-Region Segmentation of Cardiac MRI.	STACOM	2011	DBLP DOI BibTeX RDF
1	Rashed Karim, Aruna Arujuna, Alex Brazier, Jaswinder S. Gill, C. Aldo Rinaldi, Michael Cooklin, Mark O'Neill, Reza Razavi, Tobias Schaeffter, Daniel Rueckert, Kawal S. Rhode	Validation of a Novel Method for the Automatic Segmentation of Left Atrial Scar from Delayed-Enhancement Magnetic Resonance.	STACOM	2011	DBLP DOI BibTeX RDF
1	Avan Suinesiaputra, Brett R. Cowan, J. Paul Finn, Carissa G. Fonseca, Alan H. Kadish, Daniel C. Lee, Pau Medrano-Gracia, Simon K. Warfield, Wenchao Tao, Alistair A. Young	Left Ventricular Segmentation Challenge from Cardiac MRI: A Collation Study.	STACOM	2011	DBLP DOI BibTeX RDF
1	Ahmed S. Fahmy, Ahmed O. Al-Agamy, Ayman Khalifa	Myocardial Segmentation Using Contour-Constrained Optical Flow Tracking.	STACOM	2011	DBLP DOI BibTeX RDF