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.
Coordination, organizations, institutions, and norms in agent systems VIII : 14th International Workshop, COIN 2012, held co-located with AAMAS 2012, Valencia, Spain, June 5, 2012 : revised selected papers / Huib Aldewereld, Jaime Simão Sichman (eds.).
Coordination, organizations, institutions, and norms in agent systems VIII : 14th International Workshop, COIN 2012, held co-located with AAMAS 2012, Valencia, Spain, June 5, 2012 : revised selected papers / Huib Aldewereld, Jaime Simão Sichman (eds.).
Creatore [COIN (Workshop) (14th : 2012 : Valencia, Spain)]
Estensione 1 online resource (x, 191 pages) : illustrations.
Disciplina 006.3
Accesso persona Aldewereld, Huib
Sichman, Jaime S. (Jaime Simão)
Accesso convegno International Joint Conference on Autonomous Agents and Multiagent Systems (11th : 2012 : Valencia, Spain)
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Artificial intelligence
Computer vision
ISBN 9783642377563
3642377564
9783642377556
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talk. Situating COIN in the Cloud / Julian Padget -- Compliance and Enforcement. Monitoring Interaction in Organisations / Mehdi Dastani, Leendert van der Torre, Neil Yorke-Smith -- Reasoning over Norm Compliance via Planning / Sofia Panagiotidi, Javier Vázquez-Salceda, Frank Dignum -- An Agent-Based Simulation Approach to Comparative Analysis of Enforcement Mechanisms / Tina Balke, Marina De Vos, Julian Padget -- Norm Emergence and Social Strategies. Shared Strategies in Artificial Agent Societies / Amineh Ghorbani, Huib Aldewereld, Virginia Dignum, Pablo Noriega -- Goal-Directed Policy Conflict Detection and Prioritisation / Mukta S. Aphale, Timothy J. Norman, Murat Şensoy -- Norms as Objectives: Revisiting Compliance Management in Multi-agent Systems / Aditya Ghose, Tony Bastin Roy Savarimuthu -- Refinement, Contextualisation and Adaptation. Norm Emergence through Dynamic Policy Adaptation in Scale Free Networks / Samhar Mahmoud, Nathan Griffiths, Jeroen Keppens, Michael Luck -- Norm Contextualization / Jie Jiang, Huib Aldewereld, Virginia Dignum, Yao-Hua Tan -- Programming Institutional Facts in Multi-Agent Systems / Maiquel de Brito, Jomi F. Hübner, Rafael H. Bordini -- Towards a General Model for Adapting Structure while Maintaining Topology: Pipelines / Matthew Shaw, Jeroen Keppens, Michael Luck, Simon Miles.
Record Nr. NYU-004401485
[COIN (Workshop) (14th : 2012 : Valencia, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Modeling approaches and algorithms for advanced computer applications [electronic resource] / Abdelmalek Amine, Otmane Ait Mohamed, Ladjel Bellatreche, editors
Modeling approaches and algorithms for advanced computer applications [electronic resource] / Abdelmalek Amine, Otmane Ait Mohamed, Ladjel Bellatreche, editors
Creatore [International Conference on Computer Science and Its Applications (4th : 2013 : Saida, Algeria)]
Estensione 1 online resource.
Disciplina 004
Accesso persona Amine, Abdelmalek
Ait Mohamed, Otmane
Bellatreche, Ladjel, 1968-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Engineering
Artificial intelligence
Computational Intelligence
ISBN 9783319005607
331900560X
3319005596
9783319005591
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto New Challenges for Future Avionic Architectures / Frédéric Boniol -- Checking System Substitutability: An Application to Interactive Systems / Yamine Ait Ameur, Abdelkrim Chebieb -- The Role of Software Tracing in Software Maintenance / Abdelwahab Hamou-Lhadj -- Information Retrieval and Social Media / Mohand Boughanem -- Machine Learning Tool for Automatic ASA Detection / Mohammed El Amine Lazouni -- Stator Faults Detection and Diagnosis in Reactor Coolant Pump Using Kohonen Self-organizing Map / Smail Haroun, Amirouche Nait Seghir -- A New Approach for the Extraction of Moving Objects / Farou Brahim, Seridi Hamid, Akdag Herman -- Seeking for High Level Lexical Association in Texts / Ismaïl Biskri, Louis Rompré -- Statistical and Constraint Programming Approaches for Parameter Elicitation in Lexicographic Ordering / Noureddine Aribi, Yahia Lebbah -- Some Global Measures for Shape Retrieval / Saliha Bouagar, Slimane Larabi -- Clustering with Probabilistic Topic Models on Arabic Texts / Abdessalem Kelaiaia, Hayet Farida Merouani.
Generating GCIs Axioms from Objects Descriptions in EL -Description Logics / Zina Ait-Yakoub, Yassine Djouadi -- Automatic Phonetization of Arabic Text / Fayçal Imedjdouben, Amrane Houacine -- A Novel Region Growing Segmentation Algorithm for Mass Extraction in Mammograms / Ahlem Melouah -- Coverage Enhancement in Wireless Video-Based Sensor Networks with Rotating Capabilities / Nawel Bendimerad, Bouabdellah Kechar -- Improving Wireless Sensor Networks Robustness through Multi-level Fault Tolerant Routing Protocol / Zibouda Aliouat, Makhlouf Aliouat -- A New Approach for QCL-Based Alert Correlation Process / Lydia Bouzar-Benlabiod, Salem Benferhat -- A Pragmatic and Scalable Solution for Free Riding Problem in Peer to Peer Networks / Mourad Amad, Djamil Aïssani, Ahmed Meddahi -- Cooperative Strategy to Secure Mobile P2P Network / Houda Hafi, Azeddine Bilami -- An Efficient Palmprint Identification System Using Multispectral and Hyperspectral Imaging / Abdallah Meraoumia, Salim Chitroub -- RDAP: Requested Data Accessibility Protocol for Vehicular Sensor Networks / Mansour Louiza, Moussaoui Samira.
Improvement of LEACH for Fault-Tolerance in Sensor Networks / Mohamed Lehsaini, Herve Guyennet -- Locally Distributed Handover Decision Making for Seamless Connectivity in Multihomed Moving Networks / Zohra Slimane, Abdelhafid Abdelmalek -- A New Hybrid Authentication Protocol to Secure Data Communications in Mobile Networks / Mouchira Bensari, Azeddine Bilami -- Mapping System for Merging Ontologies / Messaouda Fareh, Omar Boussaid -- 80 Gb/s WDM Communication System Based on Spectral Slicing of Continuum Generating by Chirped Pulse Propagation in Law Normal Dispersion Photonic Crystal Fiber / Leila Graini, Kaddour Saouchi -- Fuzzy Logic Based Utility Function for Context-Aware Adaptation Planning / Mounir Beggas, Lionel Médini -- Social Validation of Learning Objects in Online Communities of Practice Using Semantic and Machine Learning Techniques / Lamia Berkani, Lydia Nahla Driff -- Modelling Mobile Object Activities Based on Trajectory Ontology Rules Considering Spatial Relationship Rules / Rouaa Wannous, Jamal Malki, Alain Bouju.
A Model-Based on Role for Software Product-Line Evolving Variability / Yacine Djebar, Nouredine Guersi -- An Approach for the Reuse of Learning Annotations Based on Ontology Techniques / Nadia Aloui, Faïez Gargouri -- Very Large Workloads Based Approach to Efficiently Partition Data Warehouses / Gacem Amina, Kamel Boukhalfa -- Evaluation of the Influence of Two-Level Clustering with BUB-Trees Indexing on the Optimization of Range Queries / Samer Housseno, Ana Simonet, Michel Simonet -- Identification of Terrestrial Vegetation by MSG-SEVIRI Radiometer and Follow-Up of Its Temporal Evolution / Naima Benkahla, Abdelatif Hassini -- Automatic Detection of Contours of Circular Geologic Structures on Active Remote Sensing Images Using the Gradient Vector Flow Active Contour / Djelloul Mokadem, Abdelmalek Amine -- NALD: Nucleic Acids and Ligands Database / Abdelkrim Rachedi, Khuphukile Madida -- Maximality-Based Labeled Transition Systems Normal Form / Adel Benamira, Djamel-Eddine Saïdouni.
Automatic Generation of SPL Structurally Valid Products Using Graph Transformations Approach / Khaled Khalfaoui, Allaoua Chaoui -- Modeling On-the-Spot Learning: Storage, Landmarks Weighting Heuristic and Annotation Algorithm / Shivendra Tiwari, Saroj Kaushik -- Towards an Integrated Specification and Analysis of Functional and Temporal Properties: / Mokdad Arous, Djamel-Eddine Saïdouni -- Overhead Control in DP-Fair Work Conserving Real-Time Multiprocessor Scheduling / Muhamad Naeem Shehzad, Anne-Marie Déplanche -- Initializing the Tutor Model Using K-Means Algorithm / Safia Bendjebar, Yacine Lafifi -- Towards a Generic Reconfigurable Framework for Self-adaptation of Distributed Component-Based Application / Ouanes Aissaoui, Fadila Atil -- Dynamic Bayesian Networks in Dynamic Reliability and Proposition of a Generic Method for Dynamic Reliability Estimation / Fatma Zohra Zahra, Saliha Khouas-Oukid -- Semantic Annotations and Context Reasoning to Enhance Knowledge Reuse in e-Learning / Souâad Boudebza, Lamia Berkani -- Change Impact Study by Bayesian Networks / Chahira Cherif, Mustapha Kamel Abdi.
Record Nr. NYU-004401707
[International Conference on Computer Science and Its Applications (4th : 2013 : Saida, Algeria)]  
Materiale a stampa
Lo trovi qui: New York University
Artificial intelligence in medicine : 14th Conference on Artificial Intelligence in Medicine, AIME 2013, Murcia, Spain, May 29-June 1, 2013 : proceedings / Niels Peek, Roque Marín Morales, Mor Peleg (eds.).
Artificial intelligence in medicine : 14th Conference on Artificial Intelligence in Medicine, AIME 2013, Murcia, Spain, May 29-June 1, 2013 : proceedings / Niels Peek, Roque Marín Morales, Mor Peleg (eds.).
Creatore [Conference on Artificial Intelligence in Medicine (2005-) (14th : 2013 : Murcia, Spain)]
Estensione 1 online resource (xix, 316 pages) : illustrations.
Disciplina 610.285/63
Accesso persona Peek, Niels, editior of compilation
Marín Morales, Roque, 1959-editior of compilation
Peleg, Mor, editior of compilation
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Medical records -- Data processing
Data mining
Artificial intelligence
Health Informatics
Information Systems Applications (incl. Internet)
ISBN 9783642383267
3642383262
3642383254
9783642383250
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Decision Support, Guidelines and Protocols. From Decision to Shared-Decision: Introducing Patients' Preferences in Clinical Decision Analysis -- A Case Study in Thromboembolic Risk Prevention / Lucia Sacchi [and others] -- Model-Based Combination of Treatments for the Management of Chronic Comorbid Patients / David Riaño, Antoni Collado -- Using Constraint Logic Programming to Implement Iterative Actions and Numerical Measures during Mitigation of Concurrently Applied Clinical Practice Guidelines / Martin Michalowski [and others] -- A Multi-agent Planning Approach for the Generation of Personalized Treatment Plans of Comorbid Patients / Inmaculada Sánchez-Garzón [and others] -- Merging Disease-Specific Clinical Guidelines to Handle Comorbidities in a Clinical Decision Support Setting / Borna Jafarpour, Syed Sibte Raza Abidi -- Multiparty Argumentation Game for Consensual Expansion Applied to Evidence Based Medicine / Stefano Bromuri, Maxime Morge -- Semantic Technology I. Rule-Based Formalization of Eligibility Criteria for Clinical Trials / Zhisheng Huang, Annette ten Teije, Frank van Harmelen.
Characterizing Health-Related Information Needs of Domain Experts / Eya Znaidi [and others] -- Comparison of Clustering Approaches through Their Application to Pharmacovigilance Terms / Marie Dupuch [and others] -- Trusting Intensive Care Unit (ICU) Medical Data: A Semantic Web Approach / Laura Moss [and others] -- Learning Formal Definitions for Snomed CT from Text / Yue Ma, Felix Distel -- Towards Automatic Patient Eligibility Assessment: From Free-Text Criteria to Queries / Krystyna Milian, Annette ten Teije -- Bioinformatics. Biomedical Knowledge Extraction Using Fuzzy Differential Profiles and Semantic Ranking / Sidahmed Benabderrahmane -- Knowledge-Based Identification of Multicomponent Therapies / Francesca Vitali [and others] -- Enhancing Random Forests Performance in Microarray Data Classification / Nicoletta Dessì, Gabriele Milia, Barbara Pes -- Copy-Number Alterations for Tumor Progression Inference / Claudia Cava [and others] -- Constraining Protein Docking with Coevolution Data for Medical Research / Ludwig Krippahl, Fábio Madeira, Pedro Barahona.
Machine Learning. Single- and Multi-label Prediction of Burden on Families of Schizophrenia Patients / Pablo Bermejo [and others] -- Predicting Adverse Drug Events by Analyzing Electronic Patient Records / Isak Karlsson [and others] -- Top-Level MeSH Disease Terms Are Not Linearly Separable in Clinical Trial Abstracts / Joël Kuiper, Gert van Valkenhoef -- Probabilistic Modelling and Reasoning. Understanding the Co-occurrence of Diseases Using Structure Learning / Martijn Lappenschaar [and others] -- Online Diagnostic System Based on Bayesian Networks / Adam Zagorecki, Piotr Orzechowski, Katarzyna Hołownia -- A Probabilistic Graphical Model for Tuning Cochlear Implants / Iñigo Bermejo [and others] -- Image and Signal Processing. Semi-supervised Projected Clustering for Classifying GABAergic Interneurons / Luis Guerra [and others] -- Cascaded Rank-Based Classifiers for Detecting Clusters of Microcalcifications / Alessandro Bria [and others] -- Segmenting Neuroblastoma Tumor Images and Splitting Overlapping Cells Using Shortest Paths between Cell Contour Convex Regions / Siamak Tafavogh [and others].
Classification of Early-Mild Subjects with Parkinson's Disease by Using Sensor-Based Measures of Posture, Gait, and Transitions / Luca Palmerini [and others] -- False Positive Reduction in Detector Implantation / Noelia Vállez, Gloria Bueno, Oscar Déniz -- Semantic Technology II. Redundant Elements in SNOMED CT Concept Definitions / Kathrin Dentler, Ronald Cornet -- Medical Ontology Validation through Question Answering / Asma Ben Abacha, Marcos Da Silveira, Cédric Pruski -- Lexical Characterization and Analysis of the BioPortal Ontologies / Manuel Quesada-Martínez, Jesualdo Tomás Fernández-Breis, Robert Stevens -- Ontology-Based Reengineering of the SNOMED CT Context Model / Catalina Martínez-Costa, Stefan Schulz -- Using a Cross-Language Approach to Acquire New Mappings between Two Biomedical Terminologies / Fleur Mougin, Natalia Grabar -- Temporal Data Visualization and Analysis. Clinical Time Series Prediction with a Hierarchical Dynamical System / Zitao Liu, Milos Hauskrecht.
Extraction, Analysis, and Visualization of Temporal Association Rules from Interval-Based Clinical Data / Carlo Combi, Alberto Sabaini -- Learning to Identify Inappropriate Antimicrobial Prescriptions / Mathieu Beaudoin [and others] -- An Approach for Mining Care Trajectories for Chronic Diseases / Elias Egho [and others] -- Similarity Measuring between Patient Traces for Clinical Pathway Analysis / Zhengxing Huang, Xudong Lu, Huilong Duan -- Natural Language Processing. Instantiating Interactive Narratives from Patient Education Documents / Fred Charles [and others] -- Added-Value of Automatic Multilingual Text Analysis for Epidemic Surveillance / Gaël Lejeune [and others] -- An Approach for Query-Focused Text Summarisation for Evidence Based Medicine / Abeed Sarker, Diego Mollá, Cécile Paris -- Clustering of Medical Publications for Evidence Based Medicine Summarisation / Sara Faisal Shash, Diego Mollá -- Classifying Measurements in Dictated, Free-Text Radiology Reports / Merlijn Sevenster.
Record Nr. NYU-004401710
[Conference on Artificial Intelligence in Medicine (2005-) (14th : 2013 : Murcia, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Human factors in computing and informatics : first International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings / Andreas Holzinger, Martina Ziefle, Martin Hitz, Matjaz̆ Debevc (eds.).
Human factors in computing and informatics : first International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings / Andreas Holzinger, Martina Ziefle, Martin Hitz, Matjaz̆ Debevc (eds.).
Creatore [SouthCHI (Conference) (1st : 2013 : Maribor, Slovenia)]
Estensione 1 online resource (xxiii, 845 pages) : illustrations.
Disciplina 004.01/9
Accesso persona Holzinger, Andreas, editor
Ziefle, Martina, 1962-editor
Hitz, Martin, editor
Debevc, Matjaz̆, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
User Interfaces and Human Computer Interaction
Health Informatics
ISBN 9783642390623
3642390625
9783642390616
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Measurement and Usability Evaluation. Design and Development Methodology for the Emotional State Estimation of Verbs / Georgios Kouroupetroglou, Nikolaos Papatheodorou, Dimitrios Tsonos -- Automatic Recognition of the Unconscious Reactions from Physiological Signals / Leonid Ivonin [and others] -- Technique for Evaluating Photo Sharing Interfaces with the Early Prototypes -- Group Simulation / Jarno Aulis Olavi Ojala, Dhaval Vyas, Arto Juhani Lehtiniemi -- Usability Evaluation of Configuration-Based API Design Concepts / Thomas Scheller, Eva Kühn -- Monitoring Learning Activities in PLE Using Semantic Modelling of Learner Behaviour / Selver Softic [and others] -- Back to User-Centered Usability Testing / Kimmo Tarkkanen [and others] -- Comparing the Levels of Frustration between an Eye-Tracker and a Mouse: A Pilot Study / Hildegardo Noronha, Ricardo Sol, Athanasios Vourvopoulos -- Study of the Influence of Prototype Aesthetic Fidelity (A Realism Factor) in Usability Tests / Diana Rueda, René Hoto, Andrés Conejero.
Exploiting Classical Bibliometrics of CSCW: Classification, Evaluation, Limitations, and the Odds of Semantic Analytics / António Correia, Benjamim Fonseca, Hugo Paredes -- An Empirical Evaluation of a Usability Measurement Method in a Model Driven Framework / Lassad Ben Ammar, Adel Mahfoudhi -- The Impact of User Diversity on the Willingness to Disclose Personal Information in Social Network Services / Anne Kathrin Schaar, André Calero Valdez, Martina Ziefle -- Usability Evaluation -- Medical Environments. -- Practical Neurophysiological Analysis of Readability as a Usability Dimension / Inês Isabel Pimentel Oliveira, Nuno Manuel Guimarães -- Query Behavior: The Impact of Health Literacy, Topic Familiarity and Terminology / Carla Teixeira Lopes, Cristina Ribeiro -- MeD UD -- A Process Reference Model for Usability Design in Medical Devices / Derek Flood [and others].
Accessibility Methodologies. Dictionary of the Slovenian Sign Language on the WWW / Luka Cempre, Aleksander Bešir, Franc Solina -- A Usability Requirements Analysis for Wireless Interaction and Connectivity for Elderly Hearing Aid Users / Matjaž Debevc, Ines Kožuh, Hilmar Meier -- Investigating an Accessible and Usable ePub Book via VoiceOver: A Case Study / Valentina Bartalesi Lenzi, Barbara Leporini -- Route Descriptions in Advance and Turn-by-Turn Instructions -- Usability Evaluation of a Navigational System for Visually Impaired and Blind People in Public Transport / Elke Mattheiss, Elmar Krajnc.
Game-Based Methodologies. Elements of Play for Cognitive, Physical and Social Health in Older Adults / Fares Kayali [and others] -- Understanding the Digital Game Classification System: A Review of the Current Classification System and Its Implications for Use within Games for Health / Hannah Ramsden Marston, Stuart T. Smith -- A Preliminary Evaluation of a Participation-Centered Gameplay Experience Design Model / Luís Lucas Pereira, Licinio Roque -- Increase Physical Fitness and Create Health Awareness through Exergames and Gamification / Philipp Brauner [and others] -- Design of a Game-Based Pre-hospital Resuscitation Training for First Responders / Marco Kalz [and others].
Web-Based Systems and Attribution Research. The Resigned, the Confident, and the Humble: A Typology of Computer-Related Attribution Styles / Monique Janneck, Sascha R. Guczka -- Next Generation Tele-Teaching: Latest Recording Technology, User Engagement and Automatic Metadata Retrieval / Franka Grünewald [and others] -- Towards the Personalization of CAPTCHA Mechanisms Based on Individual Differences in Cognitive Processing / Marios Belk [and others] -- Personality Influences on Etiquette Requirements for Social Media in the Work Context / André Calero Valdez, Anne Kathrin Schaar, Martina Ziefle -- Role of Information Scent and Link Position in a Successful Navigation on Web / Vamshi Velagapuri, Suvarna Rekha.
Virtual Environments. The Minimal Group Paradigm in Virtual Teams / Monique Janneck, Petra Saskia Bayerl, Jana-Eva Dietel -- "Atlas 2012" Augmented Reality: A Case Study in the Domain of Fine Arts / Narvika Bovcon [and others] -- Unfolding -- A Library for Interactive Maps / Till Nagel [and others] -- Improving Students' Technical Skills Using Mobile Virtual Laboratory: Pilot Study of Assembly Language Input Methods for Touchscreen Devices / Mihael Kukec, Sandi Ljubic, Vlado Glavinic -- Exploring the Adaptation to Learning Styles: The Case of AdaptiveLesson Module for Moodle / Jelena Nakić, Sabine Graf, Andrina Granić -- Design and Evaluation of a Learner-Centric Immersive Virtual Learning Environment for Physics Education / Johanna Pirker [and others] -- Towards Unification for Pointing Task Evaluation in 3D Desktop Virtual Environment / Mathieu Raynal, Emmanuel Dubois, Bénédicte Schmitt.
Special Session on Design Culture for Ageing Well: Designing for Situated Elderliness (DCAW). Design Culture for Ageing Well: Designing for 'Situated Elderliness' / Özge Subasi [and others] -- Towards Community-Based Co-creation / Alina Huldtgren [and others] -- Course and Perception of Ageing in Different Cultures Relevant for Intercultural HCI Design / Rüdiger Heimgärtner -- Memoryscape: Designing with Senior Citizens as Memory Meditation / Naveen L. Bagalkot, William Green, Peter Lutz -- Design and Interaction in a Smart Gym: Cognitive and Bodily Mastering / Alma Leora Culén, Sisse Finken, Tone Bratteteig -- From Research to Design -- Sketching a Game to Trigger Reminiscence in Older Adults / Naemi Luckner [and others].
kommTUi -- A Design Process for a Tangible Communication Technology with Seniors / Lisa Ehrenstrasser, Wolfgang Spreicer -- Keeping "InTOUCH": An Ongoing Co-design Project to Share Memories, Skills and Demands through an Interactive Table / Sabina Giorgi [and others] -- Assisting Lifestyles: "Laughing, Living and Learning" / Boris Markovic, Özge Subasi -- Older People as Equal Partners in Creative Design / Helena Sustar, Sara Jones, Andy Dearden -- Designing Guiding Garments for People Affected by Dementias / Britta Friederike Schulte -- Towards Rapid Technology Probes for Senior People / Florian Güldenpfennig, Geraldine Fitzpatrick -- Towards an Acceptance Model for AAL / Gerhard Leitner, Oana Mitrea, Anton J. Fercher.
Input Devices. Gestyboard 2.0: A Gesture-Based Text Entry Concept for High Performance Ten-Finger Touch-Typing and Blind Typing on Touchscreens / Tayfur Coskun [and others] -- On-Screen Marker Fields for Reliable Screen-to-Screen Task Migration / Rudolf Kajan [and others] -- Reading on eInk and Backlit LED -- The Influence of Positive and Negative Contrast on Eye Movements / Yves Etienne Bochud, Marc Garbely -- Exploring Hand Posture for Smart Mobile Devices / Ionuţ-Alexandru Zaiţi, Radu-Daniel Vatavu, Ştefan-Gheorghe Pentiuc -- Pointing in the Air: Measuring the Effect of Hand Selection Strategies on Performance and Effort / Matthias Schwaller, Denis Lalanne.
Adaptive Systems and Intelligent Agents. The Influence of Proactivity on Interactive Help Agents / Helmut Lang [and others] -- Platform-Aware Rich-Form Generation for Adaptive Systems through Code-Inspection / Miroslav Macik [and others].
Workshop for Assessing the State of HCI Research and Practice in South-Eastern Europe (WS-HCISEE). Kinect Web Kiosk Framework / Ciril Bohak, Matija Marolt -- Enhancement of Web Application Design of the Open Platform for Clinical Nutrition / Peter Novak, Franc Novak, Barbara Koroušić Seljak -- HDCMD: A Clustering Algorithm to Support Hand Detection on Multitouch Displays / Bojan Blažica, Daniel Vladušič, Dunja Mladenić
Doctoral Consortium. Augmentative Requirements Engineering for Trustworthy and Usable ICT-Based Services / Hrvoje Belani -- Research Goals for Evolving the 'Form' User Interface Metaphor towards More Interactivity / Johannes Harms -- Intentions: A Confident-Based Interaction Design for Smart Spaces / Mario Vega-Barbas, Miguel A. Valero.
Poster Presentations. Combining Spatial and Temporal Information of Eye Movements in Goal-Oriented Tasks / Monchu Chen, Nelson Alves, Ricardo Sol -- Dyslexia Explorer: A Screening System for Learning Difficulties in the Arabic Language Using Eye Tracking / Arwa Al-Edaily, Areej Al-Wabil, Yousef Al-Ohali -- An Analysis of Social Interaction between Older and Children: Augmented Reality Integration in Table Game Design / Chan-Li Lin, Shih-Han Fei, Shu-Wei Chang -- Justification of User Profiles Based on the Mental Models' Competency / Ieva Bolakova, Svetlana Ignatjeva, Nellija Bogdanova.
Record Nr. NYU-004420410
[SouthCHI (Conference) (1st : 2013 : Maribor, Slovenia)]  
Materiale a stampa
Lo trovi qui: New York University
The biology and technology of intelligent autonomous agents / edited by Luc Steels
The biology and technology of intelligent autonomous agents / edited by Luc Steels
Estensione 1 online resource (viii, 517 pages) : illustrations.
Disciplina 006.3
Accesso persona Steels, Luc.
Accesso ente North Atlantic Treaty Organization.Scientific and Environmental Affairs Division
Accesso convegno NATO Advanced Study Institute on the Biology and Technology of Intelligent Autonomous Agents (1993 : Trento, Italy)
Genere/Forma Electronic books
Soggetto non controllato Artificial intelligence
ISBN 9783642796296
364279629X
9783642796319
3642796311
3540590528
9783540590521
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto I. Lectures -- The Biology of Behavior -- Criteria for Success in Animals and Robots -- Autonomy -- On Quantitative Performance Measures of Robot Behaviour -- Robot Adaptivity -- Intelligence -- Dynamics and Representations -- An Introduction to Reinforcement Learning -- Cognition -- Perspectives from Autonomous Agents -- Lifelong Robot Learning -- Cognitive Architectures -- From Knowledge Level to Structural Coupling -- II. Research Papers -- Circle in the Round: State Space Attractors for Evolved Sighted Robots -- Animal and Robot Navigation -- From Local Interactions to Collective Intelligence -- The Mobile Robot of MAI A: Actions and Interactions in a Real Life Scenario -- Fiutem Of Elephants and Men -- How Do You Choose Your Agents? How Do You Distribute Your Processes? -- The Reactive Accompanist: Adaptation and Behavior Decomposition in a Music System -- Behavior-Based Architecture with Distributed Selection -- Reporting Experiments on Integration of Learning Algorithms and Reactive Behaviour-Oriented Control Systems on a Real Mobile Robot -- Distributed Reinforcement Learning -- III. Research Notes -- A New Three-Degree-of-Freedom Spatially Mobile Robot Topology -- How Swarms Build Cognitive Maps -- Multiple Neural Experts for Improved Decision Making -- Understanding Complex Systems: What can the Speaking Lion Tell us? -- Multi-Modal Active Sensing for a Simple Mobile Agent -- Evaluating an Active Camera Controlled by a Subsumption Architecture -- AMOS: Basic Autonomy via Integrating Symbolic and Subsymbolic Mechanisms -- List of Contributors.
Record Nr. NYU-004614644
Materiale a stampa
Lo trovi qui: New York University
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013 : proceedings / Carla Gomes, Meinolf Sellmann (eds.).
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013 : proceedings / Carla Gomes, Meinolf Sellmann (eds.).
Creatore [International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (10th : 2013 : Yorktown Heights, N.Y.)]
Estensione 1 online resource (xi, 402 pages) : illustrations.
Disciplina 519.6/4
Accesso persona Gomes, Carla
Sellmann, Meinolf
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Computer software
Electronic data processing
Computational complexity
Artificial intelligence
Numeric Computing
Math Applications in Computer Science
Discrete Mathematics in Computer Science
Algorithm Analysis and Problem Complexity
ISBN 9783642381713
3642381715
9783642381706
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Stronger Inference through Implied Literals from Conflicts and Knapsack Covers / Tobias Achterberg, Ashish Sabharwal -- Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling / Stefan Heinz, Wen-Yang Ku -- Cloud Branching / Timo Berthold, Domenico Salvagnin -- Modeling Robustness in CSPs as Weighted CSPs / Laura Climent, Richard J. Wallace -- Some New Tractable Classes of CSPs and Their Relations with Backtracking Algorithms / Achref El Mouelhi, Philippe Jégou -- Revisiting Hyper Binary Resolution / Marijn J.H. Heule, Matti Järvisalo -- Decision Diagrams and Dynamic Programming / John N. Hooker -- CP Methods for Scheduling and Routing with Time-Dependent Task Costs / Elena Kelareva, Kevin Tierney, Philip Kilby -- An MDD Approach to Multidimensional Bin Packing / Brian Kell, Willem-Jan van Hoeve -- A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint / Arnaud Letort, Mats Carlsson.
Enumerating Infeasibility: Finding Multiple MUSes Quickly / Mark H. Liffiton, Ammar Malik -- Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem / Yuri Malitsky, Deepak Mehta -- Improved Discrete Reformulations for the Quadratic Assignment Problem / Axel Nyberg, Tapio Westerlund -- Orbital Shrinking: A New Tool for Hybrid MIP/CP Methods / Domenico Salvagnin -- On Solving Mixed-Integer Constraint Satisfaction Problems with Unbounded Variables / Hermann Schichl, Arnold Neumaier -- Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint / Andreas Schutt, Thibaut Feydy -- A Lagrangian Relaxation for Golomb Rulers / Marla R. Slusky, Willem-Jan van Hoeve -- MiniZinc with Functions / Peter J. Stuckey, Guido Tack -- Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming / Peter Y. Zhang, David A. Romero -- The Rooted Maximum Node-Weight Connected Subgraph Problem / Eduardo Álvarez-Miranda, Ivana Ljubić -- An Empirical Evaluation of Portfolios Approaches for Solving CSPs / Roberto Amadini, Maurizio Gabbrielli.
Mixed Integer Programming vs. Logic-Based Benders Decomposition for Planning and Scheduling / André Ciré, Elvin Coban, John N. Hooker -- A Branch-and-Cut Algorithm for Solving the Team Orienteering Problem / Duc-Cuong Dang, Racha El-Hajj, Aziz Moukrim -- A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects / Hanyu Gu, Andreas Schutt, Peter J. Stuckey -- Improving Strong Branching by Propagation / Gerald Gamrath -- Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming / Ambros M. Gleixner, Stefan Weltge -- Tight LP-Relaxations of Overlapping Global Cardinality Constraints / Ioannis Mourtos -- An Adaptive Model Restarts Heuristic / Nina Narodytska, Toby Walsh -- Constraint-Based Fitness Function for Search-Based Software Testing / Abdelilah Sakti, Yann-Gaël Guéhéneuc -- Coalition Formation for Servicing Dynamic Motion Tasks / Udara Weerakoon, Vicki Allan -- Computational Experience with Hypergraph-Based Methods for Automatic Decomposition in Discrete Optimization / Jiadong Wang, Ted Ralphs.
Record Nr. NYU-004637010
[International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (10th : 2013 : Yorktown Heights, N.Y.)]  
Materiale a stampa
Lo trovi qui: New York University
Particle filters for random set models / Branko Ristic
Particle filters for random set models / Branko Ristic
Creatore [Ristic, Branko]
Estensione 1 online resource
Disciplina 519.2
Genere/Forma Electronic books
Ebook
Soggetto non controllato Engineering
Computer science
Artificial intelligence
Mathematics
Signal, Image and Speech Processing
Information and Communication, Circuits
Probability and Statistics in Computer Science
Computational Intelligence
ISBN 9781461463160
1461463165
1461463157
9781461463153
1299692311
9781299692312
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Background -- Applications Involving Non-standard Measurements -- Multi-Object Particle Filters -- Sensor Control for Random Set BasedParticle Filters -- Multi-Target Tracking -- Advanced Topics.
Record Nr. NYU-004637021
[Ristic, Branko]  
Materiale a stampa
Lo trovi qui: New York University
VLSI for neural networks and artificial intelligence / edited by José G. Delgado-Frias and William R. Moore
VLSI for neural networks and artificial intelligence / edited by José G. Delgado-Frias and William R. Moore
Estensione 1 online resource (x, 320 pages) : illustrations
Disciplina 006.3
Accesso persona Delgado-Frias, José G.
Moore, Will R.
Accesso convegno International Workshop on Artificial Intelligence and Neural Networks (1992 : Oxford, England)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Artificial intelligence
ISBN 9781489913319
1489913319
1489913335
9781489913333
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Analog Circuits for Neural Networks -- Analog VLSI Neural Learning Circuits -A Tutorial -- An Analog CMOS Implementation of a Kohonen Network with Learning Capability -- Back-Propagation Learning Algorithms for Analog VLSI Implementation -- An Analog Implementation of the Boltzmann Machine with Programmable Learning Algorithms -- A VLSI Design of the Minimum Entropy Neuron -- A Multi-Layer Analog VLSI Architecture for Texture Analysis Isomorphic to Cortical Cells in Mammalian Visual System -- Digital Implementations of Neural Networks -- A VLSI Pipelined Neuroemulator -- A Low Latency Digital Neural Network Architecture -- MANTRA: A Multi-Model Neural-Network Computer -- SPERT: A Neuro-Microprocessor -- Design of Neural Self-Organization Chips for Semantic Applications -- VLSI Implementation of a Digital Neural Network with Reward-Penalty Learning -- Asynchronous VLSI Design for Neural System Implementation -- Neural Networks on Multiprocessor Systems and Applications -- VLSI-Implementation of Associative Memory Systems for Neural Information Processing -- A Dataflow Approach for Neural Networks -- A Custom Associative Chip Used as a Building Block for a Software Reconfigurable Multi-Network Simulator -- Parallel Implementation of Neural Associative Memories on RISC Processors -- Reconfigurable Logic Implementation of Memory-Based Neural Networks: A Case Study of the CMAC Network -- A Cascadable VLSI Design for GENET -- Parametrised Neural Network Design and Compilation into Hardware -- Knowledge Processing in Neural Architecture -- Two Methods for Solving Linear Equations Using Neural Networks -- VLSI Machines for Artificial Intelligence -- Hardware Support for Data Parallelism in Production Systems -- SPACE: Symbolic Processing in Associative Computing Elements -- PALM: A Logic Programming System on a Highly Parallel Architecture -- A Distributed Parallel Associative Processor (DPAP) for the Execution of Logic Programs -- Performance Analysis of a Parallel VLSI Architecture for Prolog -- A Prolog VLSI System for Real Time Applications -- An Extended WAM Based Architecture for OR-Parallel Prolog Execution -- Architecture and VLSI Implementation of a Pegasus-II Prolog Processor -- Contributors.
Record Nr. NYU-004664609
Materiale a stampa
Lo trovi qui: New York University
Games, actions and social software : multidisciplinary aspects / Jan van Eijck, Rineke Verbrugge (eds.).
Games, actions and social software : multidisciplinary aspects / Jan van Eijck, Rineke Verbrugge (eds.).
Estensione 1 online resource (xiv, 212 pages).
Disciplina 005.1
Accesso persona Eijck, J. van (Jan)
Verbrugge, Rineke
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Artificial intelligence
Computer simulation
Simulation and Modeling
Information Systems Applications (incl. Internet)
ISBN 9783642293269
3642293263
9783642293276
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto What Is Social Software? / Rohit Parikh and Marc Pauly -- Freedom, Rights and Social Software / Keith Dowding and Martin van Hees -- Time Discounting and Time Consistency / Nicola Dimitri and Jan van Eijck -- On the Logic of Lying / Hans van Ditmarsch, Jan van Eijck, Floor Sietsma and Yanjing Wang -- Strategies for Belief Revision / Krister Segerberg -- In Praise of Strategies / Johan van Benthem -- Perception and Change in Update Logic / Jan van Eijck -- Agents in Approximate Environments / Barbara Dunin-Kęplicz and Andrzej Szałas -- The Cognitive and Communicative Demands of Cooperation / Peter Gärdenfors -- A Logical View on Teamwork / Barbara Dunin-Kęplicz and Rineke Verbrugge.
Record Nr. NYU-004622713
Materiale a stampa
Lo trovi qui: New York University
Advances in knowledge discovery and data mining : 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012, Proceedings. Part II / Pang-Ning Tan [and others] (eds.).
Advances in knowledge discovery and data mining : 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012, Proceedings. Part II / Pang-Ning Tan [and others] (eds.).
Creatore [Pacific-Asia Conference on Knowledge Discovery and Data Mining (16th : 2012 : Kuala Lumpur, Malaysia)]
Estensione 1 online resource (xxiv, 445 pages).
Disciplina 006.3/12
Accesso persona Tan, Pang-Ning
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Database management
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Algorithm Analysis and Problem Complexity
ISBN 9783642302206
3642302203
9783642302190
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Heterogeneous Ensemble for Feature Drifts in Data Streams / Hai-Long Nguyen, Yew-Kwong Woon, Wee-Keong Ng and Li Wan -- OMC-IDS: At the Cross-Roads of OLAP Mining and Intrusion Detection / Hanen Brahmi, Imen Brahmi and Sadok Ben Yahia -- Towards Linear Time Overlapping Community Detection in Social Networks / Jierui Xie and Boleslaw K. Szymanski -- WeightTransmitter: Weighted Association Rule Mining Using Landmark Weights / Yun Sing Koh, Russel Pears and Gillian Dobbie -- Co-occurring Cluster Mining for Damage Patterns Analysis of a Fuel Cell / Daiki Inaba, Ken-ichi Fukui, Kazuhisa Sato, Junichirou Mizusaki and Masayuki Numao -- New Exact Concise Representation of Rare Correlated Patterns: Application to Intrusion Detection / Souad Bouasker, Tarek Hamrouni and Sadok Ben Yahia -- Life Activity Modeling of News Event on Twitter Using Energy Function / Rong Lu, Zhiheng Xu, Yang Zhang and Qing Yang -- Quantifying Reciprocity in Large Weighted Communication Networks / Leman Akoglu, Pedro O.S. Vaz de Melo and Christos Faloutsos -- Hierarchical Graph Summarization: Leveraging Hybrid Information through Visible and Invisible Linkage / Rui Yan, Zi Yuan, Xiaojun Wan, Yan Zhang and Xiaoming Li -- Mining Mobile Users' Activities Based on Search Query Text and Context / Bingyue Peng, Yujing Wang and Jian-Tao Sun -- Spread of Information in a Social Network Using Influential Nodes / Arpan Chaudhury, Partha Basuchowdhuri and Subhashis Majumder.
Discovering Coverage Patterns for Banner Advertisement Placement / P. Gowtham Srinivas, P. Krishna Reddy, S. Bhargav, R. Uday Kiran and D. Satheesh Kumar -- Discovering Unknown But Interesting Items on Personal Social Network / Juang-Lin Duan, Shashi Prasad and Jen-Wei Huang -- The Pattern Next Door: Towards Spatio-sequential Pattern Discovery / Hugo Alatrista Salas, Sandra Bringay, Frédéric Flouvat, Nazha Selmaoui-Folcher and Maguelonne Teisseire -- Accelerating Outlier Detection with Uncertain Data Using Graphics Processors / Takazumi Matsumoto and Edward Hung -- Finding Collections of k-Clique Percolated Components in Attributed Graphs / Pierre-Nicolas Mougel, Christophe Rigotti and Olivier Gandrillon -- Reciprocal and Heterogeneous Link Prediction in Social Networks / Xiongcai Cai, Michael Bain, Alfred Krzywicki, Wayne Wobcke and Yang Sok Kim, et al. -- Detecting Multiple Stochastic Network Motifs in Network Data / Kai Liu, William K. Cheung and Jiming Liu -- Scalable Similarity Matching in Streaming Time Series / Alice Marascu, Suleiman A. Khan and Themis Palpanas -- Scalable Mining of Frequent Tri-concepts from Folksonomies / Chiraz Trabelsi, Nader Jelassi and Sadok Ben Yahia -- SHARD: A Framework for Sequential, Hierarchical Anomaly Ranking and Detection / Jason Robinson, Margaret Lonergan, Lisa Singh, Allison Candido and Mehmet Sayal -- Instant Social Graph Search / Sen Wu, Jie Tang and Bo Gao -- Peer Matrix Alignment: A New Algorithm / Mohammed Kayed.
Domain Transfer Dimensionality Reduction via Discriminant Kernel Learning / Ming Zeng and Jiangtao Ren -- Prioritizing Disease Genes by Bi-Random Walk / Maoqiang Xie, Taehyun Hwang and Rui Kuang -- Selecting Feature Subset via Constraint Association Rules / Guangtao Wang and Qinbao Song -- RadialViz: An Orientation-Free Frequent Pattern Visualizer / Carson Kai-Sang Leung and Fan Jiang -- Feature Weighting by RELIEF Based on Local Hyperplane Approximation / Hongmin Cai and Michael Ng -- Towards Identity Disclosure Control in Private Hypergraph Publishing / Yidong Li and Hong Shen -- EWNI: Efficient Anonymization of Vulnerable Individuals in Social Networks / Frank Nagle, Lisa Singh and Aris Gkoulalas-Divanis -- A Pruning-Based Approach for Searching Precise and Generalized Region for Synthetic Minority Over-Sampling / Kamthorn Puntumapon and Kitsana Waiyamai -- Towards More Efficient Multi-label Classification Using Dependent and Independent Dual Space Reduction / Eakasit Pacharawongsakda and Thanaruk Theeramunkong -- Automatic Identification of Protagonist in Fairy Tales Using Verb / Hui-Ngo Goh, Lay-Ki Soon and Su-Cheng Haw -- CD: A Coupled Discretization Algorithm / Can Wang, Mingchun Wang, Zhong She and Longbing Cao -- Co-embedding of Structurally Missing Data by Locally Linear Alignment / Takehisa Yairi -- Relevant Feature Selection from EEG Signal for Mental Task Classification / Akshansh Gupta and R.K. Agrawal.
Record Nr. NYU-004622874
[Pacific-Asia Conference on Knowledge Discovery and Data Mining (16th : 2012 : Kuala Lumpur, Malaysia)]  
Materiale a stampa
Lo trovi qui: New York University