Modal - PDFSEARCH.IO - Document Search Engine

Modal
Results: 2914

#	Item
651	Program KRAMASThe slots for the KRAMAS workshop are strictly limited to 25 minutes per paper. After 20 minutes, the session chairs will indicate that presentation time is over, leaving 5 minutes for questions. 8.4 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2008-09-04 07:34:00 Knowledge Modal logic Non-classical logic Philosophical logic Epistemic modal logic Argumentation theory Reason Logic Science Arguments
652	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic
653	CHAPTER 6 Situationism, Dividualists, Multi-Modal Shoppers I N RECENT YEARS ONE PHENOMENON has increasingly started to characterize Add to Reading List Source URL: www.fremforsk.dk Language: English - Date: 2008-09-10 08:04:55 Electronic commerce Online shopping
654	Formalising Motivational Attitudes of Agents Using the KARO Framework B. van Linder J.-J. Ch. Meyer W. van der Hoek Utrecht University Department of Computer Science P.O. Box Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:33 Multi-agent systems Ethology Epistemic modal logic Modal logic Action theory Cognitive robotics Agent-based model Motivation Artificial intelligence Science Logic
655	Sequence Traces for Object-Oriented Executions Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:55 Computer programming Denotational semantics Object-oriented design Type safety Actor model Method overriding Object Type system Modal logic Software engineering Computing Object-oriented programming
656	Modal Logic & Philosophy Philosophy Prelim UC Berkeley Logic Group Supervised by Prof. Wesley Holliday Logics Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Philosophy Logicians Analytic philosophers Metaphysicians Philosophical logic Epistemic modal logic Saul Kripke Johan van Benthem Possible world Logic Mathematical logic Modal logic
657	Probabilistic Temporal Logics via the Modal Mu-Calculus Rance Cleaveland a S. Purushothaman Iyer b Murali Narasimha c a Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2006-02-09 15:25:09 Theoretical computer science Temporal logic Model theory Linear temporal logic Logic in computer science Probabilistic logic Probabilistic bisimulation Interpretation Substitution Logic Mathematical logic Non-classical logic
658	Comparison of Sleep-Wake Classification using Electroencephalogram and Wrist-worn Multi-modal Sensor Data Akane Sano, IEEE Member, Rosalind W. Picard, IEEE Fellow Abstract— This paper presents the comparison of sleep-w Add to Reading List Source URL: affect.media.mit.edu Language: English - Date: 2014-09-04 15:54:49 Dreaming Electrophysiology Actigraphy Electroencephalography Non-rapid eye movement sleep Polysomnography Hypnagogia Rapid eye movement sleep Biology Sleep Neurophysiology
659	2 Set-theoretic and Modal Notions in Social Research In a series of publications, Charles Ragin has proposed a “set-theoretic Add to Reading List Source URL: www.stat.ruhr-uni-bochum.de Language: English - Date: 2014-02-26 08:39:04 Probability and statistics Statistical dependence Econometrics Statistical theory Independence Regression analysis Random variable Causality Function Statistics Probability theory Mathematics
660	A Logic for Encapsulation in Object Oriented Languages (Extended Abstract) Michele Bugliesi1 Dip. di Matematica Pura ed Applicata, Univ. di Padova Via Belzoni 7, IPadova, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:22:33 Philosophical logic Metalogic Deduction Predicate logic Modal logic Entailment Interpretation Function Proof theory Logic Mathematical logic Model theory

UPDATE