top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Towards a service-based Internet -- ServiceWave 2010 workshops : International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010 : revised selected papers / Michel Cezon, Yaron Wolfsthal (eds.).
Towards a service-based Internet -- ServiceWave 2010 workshops : International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010 : revised selected papers / Michel Cezon, Yaron Wolfsthal (eds.).
Creatore [ServiceWave 2010 (2010 : Ghent, Belgium)]
Estensione 1 online resource (xxix, 207 pages) : illustrations (some color).
Disciplina 004.67/8
Accesso persona Cezon, Michel
Wolfsthal, Yaron
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Artificial intelligence
Information Systems
Management of Computing and Information Systems
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Artificial Intelligence (incl. Robotics)
ISBN 9783642227608
3642227600
9783642227592
3642227597
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006178500
[ServiceWave 2010 (2010 : Ghent, Belgium)]  
Materiale a stampa
Lo trovi qui: New York University
Universal semantic communication / Brendan Juba
Universal semantic communication / Brendan Juba
Creatore [Juba, Brendan]
Estensione 1 online resource (xix, 397 pages)
Disciplina 025.04/27
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer network architectures
Information theory
Artificial intelligence
Theory of Computation
Computer Systems Organization and Communication Networks
User Interfaces and Human Computer Interaction
ISBN 9783642232978
3642232973
3642232965
9783642232961
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Chap. 1, Introduction -- Chap. 2, Theory of Finite Goal-Oriented Communication -- Chap. 3, Verifiable Goals for Communication -- Chap. 4, Conditions for Efficiency in Finite Executions -- Chap. 5, Computational Complexity of Goals -- Chap. 6, Theory of Goal-Oriented Communication in Infinite Executions -- Chap. 7, The Power of Relaxed Models -- Chap. 8, The Error Complexity of Strategies in Infinite Executions -- Chap. 9, Towards Applications: Communication with a Changing Network -- Protocol -- Chap. 10, Conclusions and Directions for Future Work -- App. A, Background in Probability -- App. B, Background in Interactive Proof Systems -- App. C, Additional Background -- Bibliography.
Record Nr. NYU-006178580
[Juba, Brendan]  
Materiale a stampa
Lo trovi qui: New York University
Artificial intelligence in education : 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013 : proceedings / H. Chad Lane ... [et al.] (eds.).
Artificial intelligence in education : 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013 : proceedings / H. Chad Lane ... [et al.] (eds.).
Creatore [International Conference on Artificial Intelligence in Education (16th : 2013 : Memphis, Tenn.)]
Estensione xxxi, 961 p. : ill.; 25 cm.
Disciplina 371.33/463
Accesso persona Lane, H. Chad
Genere/Forma Electronic books
Conference proceedings
Soggetto non controllato Computer science
Artificial intelligence
Education
Computers and Education
User Interfaces and Human Computer Interaction
Information Systems Applications (incl. Internet)
Educational Technology
ISBN 9783642391125 (electronic bk.)
3642391125 (electronic bk.)
9783642391118
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Affective Computing and Engagement. Embodied Affect in Tutorial Dialogue: Student Gesture and Posture -- What Emotions Do Novices Experience during Their First Computer Programming Learning Session? -- Defining the Behavior of an Affective Learning Companion in the Affective Meta-tutor Project -- Exploring the Relationships between Design, Students' Affective States, and Disengaged Behaviors within an ITS -- Towards an Understanding of Affect and Knowledge from Student Interaction with an Intelligent Tutoring System -- Who Benefits from Confusion Induction during Learning? An Individual Differences Cluster Analysis -- Aligning and Comparing Data on Emotions Experienced during Learning with MetaTutor -- What Makes Learning Fun? Exploring the Influence of Choice and Difficulty on Mind Wandering and Engagement during Learning --
Learning Together. Automatically Generating Discussion Questions -- Identifying Localization in Peer Reviews of Argument Diagrams -- An Automatic Approach for Mining Patterns of Collaboration around an Interactive Tabletop -- A Learning Environment That Combines Problem-Posing and Problem-Solving Activities -- ViewS in User Generated Content for Enriching Learning Environments: A Semantic Sensing Approach -- Tangible Collaborative Learning with a Mixed-Reality Game: EarthShake -- Student Modeling and Personalisation -- From a Customizable ITS to an Adaptive ITS -- Class vs. Student in a Bayesian Network Student Model -- Comparing Student Models in Different Formalisms by Predicting Their Impact on Help Success -- Individualized Bayesian Knowledge Tracing Models -- Extending Knowledge Tracing to Allow Partial Credit: Using Continuous versus Binary Nodes -- Using Learner Modeling to Determine Effective Conditions of Learning for Optimal Transfer --
Open-Learner Modeling. Visualising Multiple Data Sources in an Independent Open Learner Model -- Discovering Behavior Patterns of Self-Regulated Learners in an Inquiry-Based Learning Environment -- Supporting Students' Self-Regulated Learning with an Open Learner Model in a Linear Equation Tutor -- Metacognition and Self-Regulated Learning -- Inferring Learning from Gaze Data during Interaction with an Environment to Support Self-Regulated Learning -- Teammate Relationships Improve Help-Seeking Behavior in an Intelligent Tutoring System -- Skill Diaries: Improve Student Learning in an Intelligent Tutoring System with Periodic Self-Assessment --
Natural Language Processing. Feedback and Revising in an Intelligent Tutoring System for Writing Strategies -- Using Automated Indices of Cohesion to Evaluate an Intelligent Tutoring System and an Automated Writing Evaluation System -- Combining Semantic Interpretation and Statistical Classification for Improved Explanation Processing in a Tutorial Dialogue System -- Pedagogical Agents. Can Preschoolers Profit from a Teachable Agent Based Play-and-Learn Game in Mathematics? -- Designing a Tangible Learning Environment with a Teachable Agent -- The Effects of a Pedagogical Agent for Informal Science Education on Learner Behaviors and Self-efficacy -- Designed Learning Activities. Differential Impact of Learning Activities Designed to Support Robust Learning in the Genetics Cognitive Tutor -- Complementary Effects of Sense-Making and Fluency-Building Support for Connection Making: A Matter of Sequence? -- Examples and Tutored Problems: How Can Self-Explanation Make a Difference to Learning? --
Educational Games and Narrative. Improving the Efficiency of Automatic Knowledge Generation through Games and Simulations -- Expectations of Technology: A Factor to Consider in Game-Based Learning Environments -- Personalizing Embedded Assessment Sequences in Narrative-Centered Learning Environments: A Collaborative Filtering Approach -- Educational Data Mining. ReaderBench, an Environment for Analyzing Text Complexity and Reading Strategies -- Cluster-Based Prediction of Mathematical Learning Patterns -- Integrating Perceptual Learning with External World Knowledge in a Simulated Student -- Using the Ecological Approach to Create Simulations of Learning Environments -- Using Data-Driven Discovery of Better Student Models to Improve Student Learning -- Wheel-Spinning: Students Who Fail to Master a Skill -- A Matrix Factorization Method for Mapping Items to Skills and for Enhancing Expert-Based Q-Matrices -- Assessment and Evaluation. Maximum Clique Algorithm for Uniform Test Forms Assembly -- The Effect of Interaction Granularity on Learning with a Data Normalization Tutor -- Revealing the Learning in Learning Curves --
Outreach and Scaling Up. Deliberate System-Side Errors as a Potential Pedagogic Strategy for Exploratory Virtual Learning Environments -- The Effects of Culturally Congruent Educational Technologies on Student Achievement -- ITS and the Digital Divide: Trends, Challenges, and Opportunities -- Feedback and Scaffolding. A Hypergraph Based Framework for Intelligent Tutoring of Algebraic Reasoning -- Learner Differences and Hint Content -- Guided Skill Practice as an Adaptive Scaffolding Strategy in Open-Ended Learning Environments -- Intelligent Augmented Reality Training for Assembly Tasks -- Invited Talks. Users at the Center of Designing Informal Learning Experiences -- Games, Motivation, and Integrating Intuitive and Formal Understanding -- Lessons from Project LISTEN: What Have We Learned from a Reading Tutor That Listens? -- Industry and Innovation Track -- The AIED Industry and Innovation Track -- Drill Evaluation for Training Procedural Skills -- Adaptive Assessment in an Instructor-Mediated System --
Posters. Development of an Affect-Sensitive Agent for Aplusix -- Assessment and Learning of Qualitative Physics in Newton's Playground -- The PHP Intelligent Tutoring System -- The Interplay between Affect and Engagement in Classrooms Using AIED Software -- Towards Automated Analysis of Student Arguments -- Automatic Detection of Concepts from Problem Solving Times -- Educational Potentials in Visually Androgynous Pedagogical Agents -- Plan Recognition for ELEs Using Interleaved Temporal Search -- ExploreIT! An Adaptive Tutor in an Informal Learning Environment -- Diagnosing Errors from Off-Path Steps in Model-Tracing Tutors -- Understanding the Difficulty Factors for Learning Materials: A Qualitative Study -- Mobile Testing for Authentic Assessment in the Field -- Field Observations of Engagement in Reasoning Mind -- Analyzer of Sentence Card Set for Learning by Problem-Posing -- Modelling Domain-Specific Self-regulatory Activities in Clinical Reasoning -- Pilot Test of a Natural-Language Tutoring System for Physics That Simulates the Highly Interactive Nature of Human Tutoring --
Authoring Expert Knowledge Bases for Intelligent Tutors through Crowdsourcing -- Towards Providing Feedback to Students in Absence of Formalized Domain Models -- Enhancing In-Museum Informal Learning by Augmenting Artworks with Gesture Interactions and AIED Paradigms -- Measuring Procedural Knowledge in Problem Solving Environments with Item Response Theory -- Analysis of Emotion and Engagement in a STEM Alternate Reality Game -- Higher Automated Learning through Principal Component Analysis and Markov Models -- Evaluation of a Meta-tutor for Constructing Models of Dynamic Systems -- Identification of Effective Learning Behaviors -- Modeling the Process of Online Q&A Discussions Using a Dialogue State Model -- An Authoring Tool for Semi-automatic Generation of Self-assessment Exercises -- Open Learner Models to Support Reflection on Brainstorming at Interactive Tabletops -- Predicting Low vs. High Disparity between Peer and Expert Ratings in Peer Reviews of Physics Lab Reports --
Linguistic Content Analysis as a Tool for Improving Adaptive Instruction -- Situational Interest and Informational Text Comprehension: A Game-Based Learning Perspective -- Learner-Created Scenario for Investigative Learning with Web Resources -- Towards Identifying Students' Causal Reasoning Using Machine Learning -- Social Personalized Adaptive E-Learning Environment: Topolor - Implementation and Evaluation -- Adaptive Testing Based on Bayesian Decision Theory -- Trust-Based Recommendations for Scientific Papers Based on the Researcher's Current Interest -- Modelling Students' Knowledge of Ethics -- System Comparisons: Is There Life after Null? -- Question Generation and Adaptation Using a Bayesian Network of the Learner's Achievements -- Towards Empathic Virtual and Robotic Tutors -- Can Online Peer-Review Systems Support Group Mentorship? -- Emotions Detection from Math Exercises by Combining Several Data Sources -- Illustrations or Graphs: Some Students Benefit from One over the Other --
Prosodic Entrainment and Tutoring Dialogue Success -- Assistance in Building Student Models Using Knowledge Representation and Machine Learning -- Tracking and Dynamic Scenario Adaptation System in Virtual Environment -- How to Use Multiple Graphical Representations to Support Conceptual Learning? Research-Based Principles in the Fractions Tutor -- Using HCI Task Modeling Techniques to Measure How Deeply Students Model -- Auto-scoring Discovery and Confirmation Bias in Interpreting Data during Science Inquiry in a Microworld -- A Teaching-Style Based Social Network for Didactic Building and Sharing -- Turn-Taking Behavior in a Human Tutoring Corpus -- An Automatic Marking System for Interactive Exercises on Blind Search Algorithms -- Game Penalties Decrease Learning and Interest -- An Evaluation of the Effectiveness of Just-In-Time Hints -- Repairing Deactivating Negative Emotions with Student Progress Pages -- Searching for Predictors of Learning Outcomes in Non Abstract Eye Movement Logs --
Erroneous Examples as Desirable Difficulty -- Repairing Disengagement in Collaborative Dialogue for Game-Based Learning -- An Exploration of Text Analysis Methods to Identify Social Deliberative Skill -- Impact of Different Pedagogical Agents' Adaptive Self-regulated Prompting Strategies on Learning with MetaTutor -- Class Distinctions: Leveraging Class-Level Features to Predict Student Retention Performance -- Estimating the Effect of Web-Based Homework -- A Markov Decision Process Model of Tutorial Intervention in Task-Oriented Dialogue -- Didactic Galactic: Types of Knowledge Learned in a Serious Game -- A Comparison of Two Different Methods to Individualize Students and Skills -- On the Benefits (or Not) of a Clustering Algorithm in Student Tracking -- Programming Pathways: A Technique for Analyzing Novice Programmers' Learning Trajectories -- Knowledge Maximizer: Concept-Based Adaptive Problem Sequencing for Exam Preparation -- Worked Out Examples in Computer Science Tutoring -- Student Coding Styles as Predictors of Help-Seeking Behavior -- Search-Based Estimation of Problem Difficulty for Humans -- Using Semantic Proximities to Control Contextualized Activities during Museum Visits --
Young Researchers Track. Towards Evaluating and Modelling the Impacts of Mobile-Based Augmented Reality Applications on Learning and Engagement -- An Intelligent Tutoring System to Teach Debugging -- Mobile Adaptive Communication Support for Vocabulary Acquisition -- Utilizing Concept Mapping in Intelligent Tutoring Systems -- Discrepancy-Detection in Virtual Learning Environments for Young Children with ASC -- Towards an Integrative Computational Foundation for Applied Behavior Analysis in Early Autism Interventions -- Adaptive Scaffolds in Open-Ended Learning Environments -- Sorry, I Must Have Zoned Out: Tracking Mind Wandering Episodes in an Interactive Learning Environment -- Intelligent Tutoring Systems for Collaborative Learning: Enhancements to Authoring Tools -- Towards Automated Detection and Regulation of Affective States During Academic Writing -- Programming with Your Heart on Your Sleeve: Analyzing the Affective States of Computer Programming Students -- Supporting Lifelong Learning: Recommending Personalized Sources of Assistance to Graduate Students -- Conceptual Scaffolding to Check One's Procedures -- A Computational Thinking Approach to Learning Middle School Science -- Modes and Mechanisms of Game-Like Interventions in Computer Tutors --
Interactive Events. Interactive Event: The Rimac Tutor - A Simulation of the Highly Interactive Nature of Human Tutorial Dialogue -- AutoTutor 2013: Conversation-Based Online Intelligent Tutoring System with Rich Media (Interactive Event) -- Interactive Event: Enabling Vocabulary Acquisition while Providing Mobile Communication Support -- Authoring Problem-Solving ITS with ASTUS: An Interactive Event -- Interactive Event: From a Virtual Village to an Open Learner Model with Next-TELL -- Interactive Event Visualization of Students' Activities Using ELEs -- AutoMentor: Artificial Intelligent Mentor in Educational Game -- Practical Ultra-Portable Intelligent Tutoring Systems(PUPITS): An Interactive Event --
Workshops. 2nd Workshop on Intelligent Support for Learning in Groups -- Towards the Development of a Generalized Intelligent Framework for Tutoring (GIFT) -- Formative Feedback in Interactive Learning Environments -- The First Workshop on AI-supported Education for Computer Science (AIEDCS) -- The Fourth International Workshop on Culturally-Aware Tutoring Systems -- First Annual Workshop on Massive Open Online Courses -- Cross-Cultural Differences and Learning Technologies for the Developing World -- Workshop on Scaffolding in Open-Ended Learning Environments (OELEs) -- AIED 2013 Simulated Learners Workshop -- Workshop on Self-Regulated Learning in Educational Technologies (SRL@ET): Supporting, Modeling, Evaluating, and Fostering Metacognition with Computer-Based Learning Environments.
Record Nr. YALE-12230608
[International Conference on Artificial Intelligence in Education (16th : 2013 : Memphis, Tenn.)]  
Materiale a stampa
Lo trovi qui: Yale University
Advances in neural networks-- ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings. Part I / Chengan Guo, Zeng-Guang Hou, Zhigang Zeng (eds.).
Advances in neural networks-- ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings. Part I / Chengan Guo, Zeng-Guang Hou, Zhigang Zeng (eds.).
Creatore [International Symposium on Neural Networks (10th : 2013 : Dalian Shi, China)]
Estensione 1 online resource.
Disciplina 006.3/2
Accesso persona Guo, Chengan
Hou, Zeng-Guang
Zeng, Zhigang
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computer vision
Optical pattern recognition
Computation by Abstract Devices
Pattern Recognition
Mathematical Modeling and Industrial Mathematics
Algorithm Analysis and Problem Complexity
ISBN 9783642390654 (electronic bk.)
364239065X (electronic bk.)
9783642390647
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960108683503681
[International Symposium on Neural Networks (10th : 2013 : Dalian Shi, China)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Automated reasoning and mathematics [electronic resource] : essays in memory of William W. McCune / Maria Paola Bonacina, Mark E. Stickel (eds.).
Automated reasoning and mathematics [electronic resource] : essays in memory of William W. McCune / Maria Paola Bonacina, Mark E. Stickel (eds.).
Estensione 1 online resource (xx, 257 p.) : ill
Disciplina 006.3
Accesso persona Bonacina, Maria Paola
Stickel, M. E. (Mark E.), 1947-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Logic design
Artificial intelligence
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Math Applications in Computer Science
ISBN 9783642366758 (electronic bk.)
3642366759 (electronic bk.)
9783642366741
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Legacy of a Great Researcher / Larry Wos -- The Strategy Challenge in SMT Solving / Leonardo de Moura, Grant Olney Passmore -- Simple and Efficient Clause Subsumption with Feature Vector Indexing / Stephan Schulz -- Superposition for Bounded Domains / Thomas Hillenbrand, Christoph Weidenbach -- MACE4 and SEM: A Comparison of Finite Model Generators / Hantao Zhang, Jian Zhang -- Group Embedding of the Projective Plane PG(2, 3) / Eric Ens, Ranganathan Padmanabhan -- A Geometric Procedure with Prover9 / Ranganathan Padmanabhan, Robert Veroff -- Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction / Michael Kinyon, Robert Veroff, Petr Vojtěchovský -- (Dual) Hoops Have Unique Halving / Rob Arthan, Paulo Oliva -- Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach / Branden Fitelson -- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants / Deepak Kapur, Zhihai Zhang, Matthias Horbach -- Toward a Procedure for Data Mining Proofs / Zachary Ernst, Seth Kurtenbach -- Theorem Proving in Large Formal Mathematics as an Emerging AI Field / Josef Urban, Jiří Vyskočil.
Record Nr. UPENN-9960104933503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Foundations of software science and computational structures [electronic resource] : 15th International Conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Lars Birkedal (ed.).
Foundations of software science and computational structures [electronic resource] : 15th International Conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Lars Birkedal (ed.).
Creatore [FOSSACS (Conference) (15th : 2012 : Tallinn, Estonia)]
Estensione 1 online resource (xvii, 484 p.)
Disciplina 005.1
Accesso persona Birkedal, Lars
Accesso convegno ETAPS (Conference) (2012 : Tallinn, Estonia)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Artificial intelligence
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
ISBN 9783642287299 (electronic bk.)
3642287298 (electronic bk.)
364228728X
9783642287282
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Querying UML Class Diagrams / Andrea Calì, Georg Gottlob, Giorgio Orsi and Andreas Pieris -- Bicategories of Concurrent Games / (Invited Paper) / Glynn Winskel -- Fibrational Induction Meets Effects / Robert Atkey, Neil Ghani, Bart Jacobs and Patricia Johann -- A Coalgebraic Perspective on Minimization and Determinization / Jiří Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König and Stefan Milius, et al. -- When Is a Container a Comonad? / Danel Ahman, James Chapman and Tarmo Uustalu -- Well-Pointed Coalgebras (Extended Abstract) / Jiří Adámek, Stefan Milius, Lawrence S. Moss and Lurdes Sousa -- Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs / Ana Bove, Peter Dybjer and Andrés Sicard-Ramírez -- Applicative Bisimulations for Delimited-Control Operators / Dariusz Biernacki and Sergueï Lenglet -- Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata / Sebastian Preugschat and Thomas Wilke -- Improved Ramsey-Based Büchi Complementation / Stefan Breuers, Christof Löding and Jörg Olschewski.
Extending H11-Clauses with Path Disequalities / Helmut Seidl and Andreas Reu€ -- Brookes Is Relaxed, Almost! / Radha Jagadeesan, Gustavo Petri and James Riely -- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes / Marco Bernardo, Rocco De Nicola and Michele Loreti -- Is It a "Good" Encoding of Mixed Choice? / Kirstin Peters and Uwe Nestmann -- Event Structure Semantics of Parallel Extrusion in the Pi-Calculus / Silvia Crafa, Daniele Varacca and Nobuko Yoshida -- Narcissists Are Easy, Stepmothers Are Hard / Daniel Gorín and Lutz Schröder -- On Nominal Regular Languages with Binders / Alexander Kurz, Tomoyuki Suzuki and Emilio Tuosto -- Robustness of Structurally Equivalent Concurrent Parity Games / Krishnendu Chatterjee -- Subgame Perfection for Equilibria in Quantitative Reachability Games / Thomas Brihaye, Véronique Bruyère, Julie De Pril and Hugo Gimbert -- Concurrent Games with Ordered Objectives / Patricia Bouyer, Romain Brenguier, Nicolas Markey and Michael Ummels -- Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators / Damiano Mazza and Neil J. Ross.
On Distributability of Petri Nets / (Extended Abstract) / Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke-Uffmann -- Functions as Session-Typed Processes / Bernardo Toninho, Luis Caires and Frank Pfenning -- Deriving Bisimulation Congruences for Conditional Reactive Systems / Mathias Hülsbusch and Barbara König -- First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time / Alexander Kartzow -- Model Checking Languages of Data Words / Benedikt Bollig, Aiswarya Cyriac, Paul Gastin and K. Narayan Kumar -- Branching-Time Model Checking of Parametric One-Counter Automata / Stefan Göller, Christoph Haase, Joël Ouaknine and James Worrell -- Synthesizing Probabilistic Composers / Sumit Nain and Moshe Y. Vardi -- On the Complexity of Computing Probabilistic Bisimilarity / Di Chen, Franck van Breugel and James Worrell -- Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation / Pedro Rubén D'Argenio and Matias David Lee -- On the Complexity of the Equivalence Problem for Probabilistic Automata / Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter and James Worrell.
Record Nr. UPENN-9960093343503681
[FOSSACS (Conference) (15th : 2012 : Tallinn, Estonia)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Software engineering and formal methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.).
Software engineering and formal methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.).
Creatore [International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Eleftherakis, George
Hinchey, Michael G. (Michael Gerard), 1969-
Holcombe, W. M. L. (William Michael Lloyd), 1944-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642338267 (electronic bk.)
3642338267 (electronic bk.)
9783642338250
3642338259 (pbk.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Abstraction as a Unifying Link for Formal Approaches to Concurrency / Cliff B. Jones -- A Rule-Based and Imperative Language for Biochemical Modeling and Simulation / {Dstrok}urica Nikolić, Corrado Priami and Roberto Zunino -- Sound Control-Flow Graph Extraction for Java Programs with Exceptions / Afshin Amighi, Pedro de C. Gomes, Dilian Gurov and Marieke Huisman -- Checking Sanity of Software Requirements / Jiří Barnat, Petr Bauch and Luboš Brim -- TVAL+ : TVLA and Value Analyses Together / Pietro Ferrara, Raphael Fuchs and Uri Juhasz -- A Systematic Approach to Atomicity Decomposition in Event-B / Asieh Salehi Fathabadi, Michael Butler and Abdolbaghi Rezazadeh -- Compositional Reasoning about Shared Futures / Crystal Chang Din, Johan Dovland and Olaf Owe -- Verification of Aspectual Composition in Feature-Modeling / Qinglei Zhang, Ridha Khedri and Jason Jaskolka -- A Denotational Model for Instantaneous Signal Calculus / Yongxin Zhao, Longfei Zhu, Huibiao Zhu and Jifeng He --
A Timed Mobility Semantics Based on Rewriting Strategies / Gabriel Ciobanu, Maciej Koutny and Jason Steggles -- Towards a Formal Component Model for the Cloud / Roberto Di Cosmo, Stefano Zacchiroli and Gianluigi Zavattaro -- The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs / Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin and Zongyan Qiu -- Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification / Wolfgang Paul, Sabine Schmaltz and Andrey Shadrin -- A Configuration Approach for IMA Systems / Visar Januzaj, Stefan Kugele, Florian Biechele and Ralf Mauersberger -- polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries / Christian Colombo, Adrian Francalanza, Ruth Mizzi and Gordon J. Pace -- Frama-C / A Software Analysis Perspective / Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto and Julien Signoles, et al. -- An Optimization Approach for Effective Formalized fUML Model Checking / Islam Abdelhalim, Steve Schneider and Helen Treharne --
Efficient Probabilistic Abstraction for SysML Activity Diagrams / Samir Ouchani, Otmane Ait Mohamed and Mourad Debbabi -- ML Dependency Analysis for Assessors / Philippe Ayrault, Vincent Benayoun, Catherine Dubois and François Pessaux -- An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms / Raluca Lefticaru and Florentin Ipate -- Securely Accessing Shared Resources with Concurrent Constraint Programming / Stefano Bistarelli and Francesco Santini -- A Practical Approach for Closed Systems Formal Verification Using Event-B / Brett Bicknell, Jose Reis, Michael Butler, John Colley and Colin Snook -- Extensible Specifications for Automatic Re-use of Specifications and Proofs / Daniel Matichuk and Toby Murray -- Implementing Tactics of Refinement in CRefine / Madiel Conserva Filho and Marcel Vinicius Medeiros Oliveira -- JSXM: A Tool for Automated Test Generation / Dimitris Dranidis, Konstantinos Bratanis and Florentin Ipate -- A Low-Overhead, Value-Tracking Approach to Information Flow Security / Kostyantyn Vorobyov, Padmanabhan Krishnan and Phil Stocks.
Record Nr. UPENN-9960101193503681
[International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Transactions on computational systems biology XIV [electronic resource] : special issue on computational models for cell processes / Corrado Priami, Ion Petre, Erik de Vink (eds.).
Transactions on computational systems biology XIV [electronic resource] : special issue on computational models for cell processes / Corrado Priami, Ion Petre, Erik de Vink (eds.).
Estensione 1 online resource.
Disciplina 570.285
Accesso persona Priami, Corrado
Petre, Ion.
Vink, Erik de.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computer simulation
Computational Biology/Bioinformatics
Simulation and Modeling
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Probability and Statistics in Computer Science
ISBN 9783642355240 (electronic bk.)
3642355242 (electronic bk.)
9783642355233
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein / Oana Andrei and Muffy Calder -- Quasi Product Form Approximation for Markov Models of Reaction Networks / Alessio Angius, András Horváth and Verena Wolf -- Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study / Ezio Bartocci, Pietro Liò, Emanuela Merelli and Nicola Paoletti -- On Approximative Reachability Analysis of Biochemical Dynamical Systems / L. Brim, J. Fabriková, S. Dražan and D. Šafránek -- Minimal Reaction Systems / Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny and Grzegorz Rozenberg -- Complex Functional Rates in Rule-Based Languages for Biochemistry / Cristian Versari and Gianluigi Zavattaro -- Probabilistic Model Checking of the PDGF Signaling Pathway / Qixia Yuan, Panuwat Trairatphisan, Jun Pang, Sjouke Mauw and Monique Wiesinger, et al. -- Self-assembly Models of Variable Resolution / Andrzej Mizera, Eugen Czeizler and Ion Petre -- Metabolic Constraints on the Evolution of Genetic Codes: Did Multiple Preaerobic' Ecosystem Transitions Entrain Richer Dialects via Serial Endosymbiosis? / Rodrick Wallace.
Record Nr. UPENN-9960101693503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Computer vision-- ACCV 2012 [electronic resource] : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised selected papers. Part I / Kyoung Mu Lee...[et al.] (eds.).
Computer vision-- ACCV 2012 [electronic resource] : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised selected papers. Part I / Kyoung Mu Lee...[et al.] (eds.).
Creatore [Asian Conference on Computer Vision (11th : 2012 : Taejŏn-si, Korea)]
Estensione 1 online resource.
Disciplina 006.3/7
Accesso persona Lee, Kyoung Mu.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Artificial intelligence
Computer vision
Optical pattern recognition
Image Processing and Computer Vision
Pattern Recognition
ISBN 9783642373312 (electronic bk.)
3642373313 (electronic bk.)
9783642373305
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Oral Session 1: Object Detection and Learning. Beyond Dataset Bias: Multi-task Unaligned Shared Knowledge Transfer / Tatiana Tommasi ... [et al.] -- Cross-Database Transfer Learning via Learnable and Discriminant Error-Correcting Output Codes / Feng-Ju Chang, Yen-Yu Lin, Ming-Fang Weng -- Human Reidentification with Transferred Metric Learning / Wei Li, Rui Zhao, Xiaogang Wang -- Poster Session 1: Object Detection, Learning and Matching. Tell Me What You Like and I'll Tell You What You Are: Discriminating Visual Preferences on Flickr Data / Pietro Lovato ... [et al.] -- Local Context Priors for Object Proposal Generation / Marko Ristin, Juergen Gall, Luc Van Gool -- Arbitrary-Shape Object Localization Using Adaptive Image Grids / Chunluan Zhou, Junsong Yuan -- Disambiguation in Unknown Object Detection by Integrating Image and Speech Recognition Confidences / Yuko Ozasa ... [et al.] --
Class-Specific Weighted Dominant Orientation Templates for Object Detection / Hui-Jin Lee, Ki-Sang Hong -- Salient Object Detection via Color Contrast and Color Distribution / Keren Fu ... [et al.] -- Data Decomposition and Spatial Mixture Modeling for Part Based Model / Junge Zhang ... [et al.] -- Appearance Sharing for Collective Human Pose Estimation / Marcin Eichner, Vittorio Ferrari -- Max-Margin Regularization for Reducing Accidentalness in Chamfer Matching / Angela Eigenstetter, Pradeep Krishna Yarlagadda, Björn Ommer -- Coupling-and-Decoupling: A Hierarchical Model for Occlusion-Free Car Detection / Bo Li ... [et al.] -- The Pooled NBNN Kernel: Beyond Image-to-Class and Image-to-Image / Konstantinos Rematas, Mario Fritz, Tinne Tuytelaars -- Local Hypersphere Coding Based on Edges between Visual Words / Weiqiang Ren ... [et al.] --
Spatially Local Coding for Object Recognition / Sancho McCann, David G. Lowe -- Semantic Segmentation with Millions of Features: Integrating Multiple Cues in a Combined Random Forest Approach / Björn Fröhlich, Erik Rodner, Joachim Denzler -- Semi-Supervised Learning on a Budget: Scaling Up to Large Datasets / Sandra Ebert, Mario Fritz, Bernt Schiele -- One-Class Multiple Instance Learning via Robust PCA for Common Object Discovery / Xinggang Wang ... [et al.] -- Online Semi-Supervised Discriminative Dictionary Learning for Sparse Representation / Guangxiao Zhang, Zhuolin Jiang, Larry S. Davis -- Efficient Discriminative Learning of Class Hierarchy for Many Class Prediction / Lin Chen ... [et al.] -- Oral Session 2: Object Recognition I. Grouping Active Contour Fragments for Object Recognition / Wei Zheng ... [et al.] -- Detecting Partially Occluded Objects with an Implicit Shape Model Random Field / Paul Wohlhart ... [et al.] --
Relative Forest for Attribute Prediction / Shaoxin Li, Shiguang Shan, Xilin Chen -- Discriminative Dictionary Learning with Pairwise Constraints / Huimin Guo, Zhuolin Jiang, Larry S. Davis -- Poster Session 2: Feature, Representation, and Recognition -- Adaptive Unsupervised Multi-view Feature Selection for Visual Concept Recognition / Yinfu Feng ... [et al.] -- Iris Recognition Using Consistent Corner Optical Flow / Aditya Nigam, Phalguni Gupta -- Face Recognition in Videos - A Graph Based Modified Kernel Discriminant Analysis / Gayathri Mahalingam, Chandra Kambhamettu -- Learning Hierarchical Bag of Words Using Naive Bayes Clustering / Siddhartha Chandra, Shailesh Kumar, C. V. Jawahar -- Efficient Human Parsing Based on Sketch Representation / Meng Wang, Zhaoxiang Zhang, Yunhong Wang -- Exclusive Visual Descriptor Quantization / Yu Zhang, Jianxin Wu, Weiyao Lin -- Underwater Live Fish Recognition Using a Balance-Guaranteed Optimized Tree / Phoenix X. Huang, Bastiaan J. Boom, Robert B. Fisher --
Local 3D Symmetry for Visual Saliency in 2.5D Point Clouds / Ekaterina Potapova, Michael Zillich, Markus Vincze -- Exploiting Features - Locally Interleaved Sequential Alignment for Object Detection / Karel Zimmermann, David Hurych, Tomáš Svoboda -- Efficient and Scalable 4th-Order Match Propagation / David Ok, Renaud Marlet, Jean-Yves Audibert -- Hierarchical Object Representations for Visual Recognition via Weakly Supervised Learning / Tianzhu Zhang ... [et al.] -- Invariant Surface-Based Shape Descriptor for Dynamic Surface Encoding / Tony Tung, Takashi Matsuyama -- Linear Discriminant Analysis with Maximum Correntropy Criterion / Wei Zhou, Sei-ichiro Kamata -- AfNet: The Affordance Network / Karthik Mahesh Varadarajan, Markus Vincze -- A Directed Graphical Model for Linear Barcode Scanning from Blurred Images / Ling Chen -- A Probabilistic 3D Model Retrieval System Using Sphere Image / Ke Ding, Yunhui Liu --
Model Based Training, Detection and Pose Estimation of Texture-Less 3D Objects in Heavily Cluttered Scenes / Stefan Hinterstoisser ... [et al.] -- Boosting with Side Information / Jixu Chen, Xiaoming Liu, Siwei Lyu -- Generalized Mutual Subspace Based Methods for Image Set Classification / Takumi Kobayashi -- Oral Session 3: Segmentation and Grouping. Simultaneous Monocular 2D Segmentation, 3D Pose Recovery and 3D Reconstruction / Victor Adrian Prisacariu, Aleksandr V. Segal, Ian Reid -- Joint Kernel Learning for Supervised Image Segmentation / Jongmin Kim ... [et al.] -- Application of Heterogenous Motion Models towards Structure Recovery from Motion / Rohith M.V., Chandra Kambhamettu -- Poster Session 3: Segmentation, Grouping, and Classification. Locality-Constrained Active Appearance Model / Xiaowei Zhao ... [et al.] -- Modeling Hidden Topics with Dual Local Consistency for Image Analysis / Peng Li, Jian Cheng, Hanqing Lu -- Design of Non-Linear Discriminative Dictionaries for Image Classification / Ashish Shrivastava ... [et al.] --
Efficient Background Subtraction under Abrupt Illumination Variations / Junqiu Wang, Yasushi Yagi -- Naive Bayes Image Classification: Beyond Nearest Neighbors / Radu Timofte, Tinne Tuytelaars, Luc Van Gool -- Contextual Pooling in Image Classification / Zifeng Wu ... [et al.] -- Spatial Graph for Image Classification / Zifeng Wu ... [et al.] -- Knowledge Leverage from Contours to Bounding Boxes: A Concise Approach to Annotation / Jie-Zhi Cheng ... [et al.] -- Efficient Pixel-Grouping Based on Dempster's Theory of Evidence for Image Segmentation / Björn Scheuermann, Markus Schlosser, Bodo Rosenhahn -- Video Segmentation with Superpixels / Fabio Galasso, Roberto Cipolla, Bernt Schiele -- A Noise Tolerant Watershed Transformation with Viscous Force for Seeded Image Segmentation / Di Yang, Stephen Gould, Marcus Hutter -- Active Learning for Interactive Segmentation with Expected Confidence Change / Dan Wang ... [et al.] -- Cross Anisotropic Cost Volume Filtering for Segmentation / Vladislav Kramarev ... [et al.]
Record Nr. UPENN-9960105573503681
[Asian Conference on Computer Vision (11th : 2012 : Taejŏn-si, Korea)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Transactions on computational science XVI [electronic resource] / Marina L. Gavrilova, C. J. Kenneth Tan (eds.).
Transactions on computational science XVI [electronic resource] / Marina L. Gavrilova, C. J. Kenneth Tan (eds.).
Estensione 1 online resource.
Disciplina 004
Accesso persona Gavrilova, Marina L.
Tan, C. J. Kenneth (Chih Jeng Kenneth)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Information storage and retrieval systems
Artificial intelligence
User Interfaces and Human Computer Interaction
Information Systems Applications (incl. Internet)
Computers and Society
Information Storage and Retrieval
ISBN 9783642326639 (electronic bk.)
3642326633 (electronic bk.)
9783642326622
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Function-Based Single and Dual Point Haptic Interaction in Cyberworlds / Lei Wei, Alexei Sourin, Zoran Najdovski and Saeid Nahavandi -- Visual 3D Perception of Motion Environment and Visibility Factors in Virtual Space / Vladimir Aleshin, Valery Afanasiev, Alexander Bobkov, Stanislav Klimenko and Vitaly Kuliev, et al. -- Continuous Control of Style and Style Transitions through Linear Interpolation in Hidden Markov Model Based Walk Synthesis / Joëlle Tilmanne and Thierry Dutoit -- Modeling and Analyzing the Human Cognitive Limits for Perception in Crowd Simulation / Vaisagh Viswanathan and Michael Lees -- Experiments in Artimetrics: Avatar Face Recognition / Roman V. Yampolskiy, Gyuchoon Cho, Richard Rosenthal and Marina L. Gavrilova -- Visualization of Joinery Using Homotopy Theory and Attaching Maps / Kenji Ohmori and Tosiyasu L. Kunii -- Example of Business Applications Using the Numerical Value and Exponential Calculation of the Cellular Data System / Toshio Kodama, Yoichi Seki and Tosiyasu L. Kunii -- Analysis of Inverse Snyder Optimizations / Erika Harrison, Ali Mahdavi-Amiri and Faramarz Samavati -- Error-Controllable Simplification of Point Cloud / Yichen Li, Mingqiang Wei, Jianhuang Wu and Mingyong Pang -- Physically-Based Haptic Rendering for Virtual Hand Interaction / Yang Wenzhen, Pan Zhigen and Chen Wenhua -- The Advanced Open Metaplastic Platform for Cyber Art / Gianluca Mura.
Record Nr. UPENN-9960097423503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania