Search results for "Focussing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
69	Jean-Marc Andreoli	Focussing Proof-Net Construction as a Middleware Paradigm.	CADE	2002	DBLP DOI BibTeX RDF	Proof construction, Focussing, Middleware, Transactions, Proof search, Proof-nets
42	Winfried Graf, Stefan Neurohr	Constraint-Based Layout in Visual Program Design.	VL	1995	DBLP DOI BibTeX RDF	visual program design, constraint-based layout, visual program layout, graphical editing tasks, InLay constraint-based graphical editor, animated chart diagram layout, presentation part abstraction, active display object focussing, graphical history editing, hierarchical information structure visualisation, multimedia, data structures, knowledge based systems, interaction techniques, programming environments, visual programming, computer animation, intelligent system, data visualisation, multimedia computing, program visualization, constraint handling, visual programming environments, dynamic displays, communication media
31	Anton L. Fuhrmann, M. Eduard Gröller	Real-time techniques for 3D flow visualization.	IEEE Visualization	1998	DBLP DOI BibTeX RDF	focussing, interaction, virtual environments, texturing, flow visualization, magic lens
26	Bidhan Saha, Mohua Banerjee, Soma Dutta	Paraconsistent Logics: A Survey Focussing on the Rough Set Approach.	IJCRS	2023	DBLP DOI BibTeX RDF
26	Lea Jell, Corinna List, Michael Kipp	Towards Automated Interactive Tutoring - Focussing on Misconceptions and Adaptive Level-Specific Feedback.	ECSEE	2023	DBLP DOI BibTeX RDF
26	Sue Whetton, Denis Visentin, Robert Rowe, Dan Rolf, Susan Johns, Thomas I. Grayston, Andrew Williams	Engaging Older Clients With Exercise Physiology Software: Focussing on User-Prioritised Needs.	Int. J. Technol. Hum. Interact.	2021	DBLP DOI BibTeX RDF
26	Karlheinz Kautz, Gro Bjerknes	Focussing on Humanistic Outcomes on the Sociotechnical Axis of Cohesion of the IS Discipline: User Participation in Distributed Participatory Design.	ISD	2021	DBLP BibTeX RDF
26	Anupam Das 0002	From QBFs to MALL and Back via Focussing.	J. Autom. Reason.	2020	DBLP DOI BibTeX RDF
26	Jonas Löhdefink, Andreas Bär, Nico M. Schmidt, Fabian Hüger, Peter Schlicht, Tim Fingscheidt	Focussing Learned Image Compression to Semantic Classes for V2X Applications.	IV	2020	DBLP DOI BibTeX RDF
26	Anupam Das 0002	From QBFs to MALL and back via focussing: fragments of multiplicative additive linear logic for each level of the polynomial hierarchy.	CoRR	2019	DBLP BibTeX RDF
26	Rainer Lutze	Digital Twins in eHealth - : Prospects and Challenges Focussing on Information Management.	ICE/ITMC	2019	DBLP DOI BibTeX RDF
26	Chandrakant J. Gaikwad, Rahul B. Kodag, Mukesh D. Patil	Tonic Note Extraction In Indian Music using HPS and Pole Focussing Technique.	ICCCNT	2019	DBLP DOI BibTeX RDF
26	Anupam Das 0002	Focussing, MALL and the Polynomial Hierarchy.	IJCAR	2018	DBLP DOI BibTeX RDF
26	Morteza Saberi, Elizabeth Chang 0001, Mohammad Saffari, Omar Khadeer Hussain	Customised Data Dashboard for Contact Centres by Focussing on Customer Identification.	ICEBE	2018	DBLP DOI BibTeX RDF
26	Christof Kauba, Bernhard Prommegger, Andreas Uhl	Focussing the Beam - A New Laser Illumination Based Data Set Providing Insights to Finger-Vein Recognition.	BTAS	2018	DBLP DOI BibTeX RDF
26	Christopher Wood, Stefan Poslad, Antonios Kaniadakis, Jennifer Gabrys	What Lies Above: Alternative User Experiences Produced Through Focussing Attention on GNSS Infrastructure.	Conference on Designing Interactive Systems	2017	DBLP DOI BibTeX RDF
26	Anna-Lena Pohl, Roland Trill	Digital Health Literacy as Precondition for Sustainable and Equal Health Care - A Study Focussing the Users' Perspective.	WIS	2016	DBLP DOI BibTeX RDF
26	Stéphane Graham-Lengrand	Realisability semantics of abstract focussing, formalised.	WoF'15	2015	DBLP DOI BibTeX RDF
26	Isabel Santiago Chiquero, David Trillo-Montero, Juan-Jesús Luna-Rodríguez, Rafael Real-Calvo, Antonio Moreno-Muñoz	Analysis of variations in PV production, focussing on storage and dispatchability decisions.	ICIT	2015	DBLP DOI BibTeX RDF
26	Markus Maybaum, Jens Tölle	ARMing the Trusted Platform Module pro-active system integrity monitoring focussing on peer system notification.	MILCOM	2015	DBLP DOI BibTeX RDF
26	Stéphane Graham-Lengrand	Polarities & Focussing: a journey from Realisability to Automated Reasoning.	CoRR	2014	DBLP BibTeX RDF
26	Stéphane Graham-Lengrand	Polarities & Focussing: a journey from Realisability to Automated Reasoning.		2014	RDF
26	Yun Lu, Hui Zhang, Dirk Plettemeier	Entropy Controlled Phase Shift Migration with De-Noising Algorithm for RADAR Body Area Focussing Imaging.	BODYNETS	2014	DBLP DOI BibTeX RDF
26	Klaus Wolf, Hui Zhang, Dirk Plettemeier	RADAR Spine Imaging based on an Inhomogeneous Medium Focussing Algorithm.	BODYNETS	2014	DBLP DOI BibTeX RDF
26	Chris Swinerd	On the design of hybrid simulation models, focussing on the agent-based system dynamics combination.		2014	RDF
26	Albrecht Fortenbacher, Liane Beuster, Margarita Elkina, Leonard Kappe, Agathe Merceron, Andreas Pursian, Sebastian Schwarzrock, Boris Wenzlaff	LeMo: A learning analytics application focussing on user path analysis and interactive visualization.	IDAACS	2013	DBLP DOI BibTeX RDF
26	Séverine Dubuisson, Christophe Gonzales	An optimized DBN-based mode-focussing particle filter.	CVPR	2012	DBLP DOI BibTeX RDF
26	Blandine Courcot, Adam J. Bridgeman	Optimization of a molecular mechanics force field for type-II polyoxometalates focussing on electrostatic interactions: A case study.	J. Comput. Chem.	2011	DBLP DOI BibTeX RDF
26	David-Olivier D. Azulay, Hendrik Neubert, Mireia Fernández Ocaña	Visualisation tool for peptide fractionation data in proteomics: application to OFFGEL isoelectric focussing.	BMC Bioinform.	2010	DBLP DOI BibTeX RDF
26	Anne Koziolek, Qais Noorshams, Ralf H. Reussner	Focussing Multi-Objective Software Architecture Optimization Using Quality of Service Bounds.	MoDELS (Workshops)	2010	DBLP DOI BibTeX RDF
26	Wui-Gee Tan, Aileen Cater-Steel, Mark Toleman	Implementing it Service Management: A Case Study Focussing on Critical Success Factors.	J. Comput. Inf. Syst.	2009	DBLP BibTeX RDF
26	Richard Mark Downing	Evolvability Via Modularity-Induced Mutational Focussing.	EuroGP	2008	DBLP DOI BibTeX RDF
26	Graham Pullin, Alan F. Newell	Focussing on Extra-Ordinary Users.	HCI (5)	2007	DBLP DOI BibTeX RDF	older and disabled, theatre in design, extra-ordinary users, user centred design
26	Junhua Deng, Elizabeth A. Kemp, Elisabeth G. Todd	Focussing on a standard pattern form: the development and evaluation of MUIP.	CHINZ	2006	DBLP DOI BibTeX RDF	UI patterns, pattern collections, pattern tools, evaluation
26	Stephan M. Winkler, Michael Affenzeller, Stefan Wagner 0002	Advances in applying genetic programming to machine learning, focussing on classification problems.	IPDPS	2006	DBLP DOI BibTeX RDF
26	Bernhard Preim, Christian Tietjen, Christina Dörge	NPR, Focussing and Emphasis in Medical Visualizations.	SimVis	2005	DBLP BibTeX RDF
26	Akira Kubota, Kiyoharu Aizawa	Arbitrary view and focus image generation: rendering object-based shifting and focussing effect by linear filtering.	ICIP (1)	2002	DBLP DOI BibTeX RDF
26	Martí Griera, Maribel Jiménez, Juan Antonio Martínez	QOS evaluation model for a campus-wide network: an alternative approach focussing on availability.	Comput. Networks	2001	DBLP DOI BibTeX RDF
26	Jean-Marc Andreoli	Focussing and proof construction.	Ann. Pure Appl. Log.	2001	DBLP DOI BibTeX RDF
26	Gede Bayu Suparta	Focussing computed tomography scanner.		1999	DOI RDF
26	Jacques C. Koreman, William J. Barry, Bistra Andreeva	Exploiting transitions and focussing on linguistic properties for ASR.	ICSLP	1998	DBLP DOI BibTeX RDF
26	Den Raphaely	Technologically Assisted Focussing in Psychotherapy with Couples: A Hypertext Application for Clients, Clinicians & Researchers.	Hypertext	1993	DBLP DOI BibTeX RDF
26	Luca Console, Luigi Portinale, Daniele Theseider Dupré	Focussing Abductive Diagnosis.	AI Commun.	1991	DBLP DOI BibTeX RDF
26	Jeffrey L. Krolik, David N. Swingler	The performance of minimax spatial resampling filters for focussing wide-band arrays.	IEEE Trans. Signal Process.	1991	DBLP DOI BibTeX RDF
26	Hsien-sen Hung, Mostafa Kaveh	Focussing matrices for coherent signal-subspace processing.	IEEE Trans. Acoust. Speech Signal Process.	1988	DBLP DOI BibTeX RDF
26	H. Hung, M. Kaveh	A new class of focussing matrices for coherent signal-subspace method.	ICASSP	1988	DBLP DOI BibTeX RDF
26	Eva Hajicová	Focussing- A Meeting Point Linguistics and Artificial Intelligence.	AIMSA	1986	DBLP BibTeX RDF
26	Michel Martin, Jean-François Piquard	Dynamic focussing and ultrasonic imaging.	ICASSP	1982	DBLP DOI BibTeX RDF
26	Candace L. Sidner	The Role of Focussing in Interpretation of Pronouns.	ACL	1979	DBLP BibTeX RDF
23	Pierre Fraigniaud	Distributed computational complexities: are you volvo-addicted or nascar-obsessed?	PODC	2010	DBLP DOI BibTeX RDF	mobile computing, network computing, wait-free computing
23	Bhuvan Sharma, Ian C. Parmee, Mark Whittaker, Alistair Sedwell	Drug discovery: exploring the utility of cluster oriented genetic algorithms in virtual library design.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
23	Lutz Heuser, Alexander Schill, Max Mühlhäuser	Extensions to the object paradigm for the development of distributed applications.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
12	Philip Inglesant, Martina Angela Sasse	The true cost of unusable password policies: password use in the wild.	CHI	2010	DBLP DOI BibTeX RDF	password policy, passwords, usable security
12	Ranjani Sridharan, Rabi N. Mahapatra	Reliability aware power management for dual-processor real-time embedded systems.	DAC	2010	DBLP DOI BibTeX RDF	dynamic fault-tolerance, dynamic power management
12	Muffy Calder, Jane Hillston	Process Algebra Modelling Styles for Biomolecular Processes.	Trans. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
12	Houda Benbrahim, Max Bramer	Text and Hypertext Categorization.	Artificial Intelligence: An International Perspective	2009	DBLP DOI BibTeX RDF
12	Duncan Birrell, Milena Dobreva, Gordon Dunsire, Jillian R. Griffiths, Richard J. Hartley, Kathleen Menzies	The DiSCmap Project: Overview and First Results.	ECDL	2009	DBLP DOI BibTeX RDF	user-defined criteria, special collections, selection, digitization, appraisal
12	Jan-Paul Leuteritz, Harald Widlroither, Alexandros Mourouzis, Maria Panou, Margherita Antona, Asterios Leonidis	Development of Open Platform Based Adaptive HCI Concepts for Elderly Users.	HCI (6)	2009	DBLP DOI BibTeX RDF	Automatic user interface adaptation, Unified User Interface Design, adaptive widgets, adaptation decision-making
12	Henning Breuer, Marlene Kettner, Matthias Wagler, Nathalie Preuschen, Fee Steinhoff	Love at First Encounter - Start-Up of New Applications.	HCI (3)	2009	DBLP DOI BibTeX RDF	seven touchpoints, service innovation, diary research, creativity, experience design, learnability, Start-up
12	Sarah Isherwood	Graphics and Semantics: The Relationship between What Is Seen and What Is Meant in Icon Design.	HCI (17)	2009	DBLP DOI BibTeX RDF	Semiotics, Icons, Semantic distance, Concreteness
12	Yusuke Ikemoto, Toru Miura, Hajime Asama	Adaptive division of Labor Control for robot group.	IROS	2009	DBLP DOI BibTeX RDF
12	M. C. F. Donkers, Laurentiu Hetel, W. P. M. H. Heemels, Nathan van de Wouw, Maarten Steinbuch	Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach.	HSCC	2009	DBLP DOI BibTeX RDF
12	Gunnar Aastrand Grimnes, Leo Sauermann, Ansgar Bernardi	The Personal Knowledge Workbench of the NEPOMUK Semantic Desktop.	ESWC	2009	DBLP DOI BibTeX RDF
12	Martin Talbot, William Cowan	On the audio representation of distance for blind users.	CHI	2009	DBLP DOI BibTeX RDF	evaluation, assistive technology, guidelines, blind users, distance perception, sound visualization
12	Ben Bedwell, Holger Schnädelbach, Steve Benford, Tom Rodden, Boriana Koleva	In support of city exploration.	CHI	2009	DBLP DOI BibTeX RDF	city guide, locative experiences, performance
12	Caroline Snowdon, Christian Kray	Exploring the use of landmarks for mobile navigation support in natural environments.	Mobile HCI	2009	DBLP DOI BibTeX RDF	natural environments, navigation, user studies, landmarks, mobile guides
12	Andreas Behrend, Christian Dorau, Rainer Manthey	SQL Triggers Reacting on Time Events: An Extension Proposal.	ADBIS	2009	DBLP DOI BibTeX RDF
12	Sergey Goncharov 0001, Lutz Schröder, Till Mossakowski	Kleene Monads: Handling Iteration in a Framework of Generic Effects.	CALCO	2009	DBLP DOI BibTeX RDF
12	Furio Honsell, Marina Lenisa	Conway Games, Coalgebraically.	CALCO	2009	DBLP DOI BibTeX RDF	Conway games, coalgebraic games, non-losing strategies
12	Geir Kjetil Hanssen, Aiko Fallas Yamashita, Reidar Conradi, Leon Moonen	Maintenance and agile development: Challenges, opportunities and future directions.	ICSM	2009	DBLP DOI BibTeX RDF
12	Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael J. Wooldridge	Inconsistency tolerance in weighted argument systems.	AAMAS (2)	2009	DBLP BibTeX RDF	handling inconsistency, complexity, argumentation
12	Matthias W. Seeger, Sham M. Kakade, Dean P. Foster	Information Consistency of Nonparametric Gaussian Process Methods.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
12	Mirko Böttcher, Frank Höppner, Myra Spiliopoulou	On exploiting the power of time in data mining.	SIGKDD Explor.	2008	DBLP DOI BibTeX RDF
12	Michalis Miatidis, Manfred Theißen, Matthias Jarke, Wolfgang Marquardt	Work Processes and Process-Centered Models and Tools.	Results of the IMPROVE Project	2008	DBLP DOI BibTeX RDF
12	Shane Balfe, Kenneth G. Paterson	Augmenting Internet-Based Card Not Present Transactions with Trusted Computing (Extended Abstract).	Financial Cryptography	2008	DBLP DOI BibTeX RDF
12	Tom Carlson, Yiannis Demiris	Human-wheelchair collaboration through prediction of intention and adaptive assistance.	ICRA	2008	DBLP DOI BibTeX RDF
12	Dominik Gallus, Andreas Abecker, Daniela Richter	Classification of Landslide Susceptibility in the Development of Early Warning Systems.	SDH	2008	DBLP DOI BibTeX RDF	classification, GIS, early warning system, landslide
12	Börkur Sigurbjörnsson, Roelof van Zwol	Flickr tag recommendation based on collective knowledge.	WWW	2008	DBLP DOI BibTeX RDF	aggregated tag suggestion, tag characterisation, tag co-occurence, flickr, tag recommendation, photo annotations, collective knowledge
12	Yan Wang, Sammy Chan, Moshe Zukerman, Richard J. Harris 0001	Priority-Based fair Scheduling for Multimedia WiMAX Uplink Traffic.	ICC	2008	DBLP DOI BibTeX RDF
12	Kohei Honda 0001, Nobuko Yoshida, Marco Carbone	Multiparty asynchronous session types.	POPL	2008	DBLP DOI BibTeX RDF	multiparty, communications, causality, choreography, structured programming, session types, mobile processes
12	Denis Royer	Assessing the Value of Enterprise Identity Management (EIdM) - Towards a Generic Evaluation Approach.	ARES	2008	DBLP DOI BibTeX RDF	IT Security Investments, Enterprise Identity Management (EIdM), Decision Support, Balanced Scorecard, Cost/Benefit Analysis
12	Christian D. Ott, Erik Schnetter, Gabrielle Allen, Edward Seidel, Jian Tao, Burkhard Zink	A case study for petascale applications in astrophysics: simulating gamma-ray bursts.	Mardi Gras Conference	2008	DBLP DOI BibTeX RDF
12	Mohammad Raza, Philippa Gardner	Footprints in Local Reasoning.	FoSSaCS	2008	DBLP DOI BibTeX RDF	Hoare Logic, Separation Logic, Local Reasoning, Footprints
12	Luís Mota, Luís Paulo Reis	A Common Framework for Co-operative Robotics: An Open, Fault Tolerant Architecture for Multi-league RoboCup Teams.	SIMPAR	2008	DBLP DOI BibTeX RDF
12	Laura Hollink, Mark van Assem, Shenghui Wang 0001, Antoine Isaac, Guus Schreiber	Two Variations on Ontology Alignment Evaluation: Methodological Issues.	ESWC	2008	DBLP DOI BibTeX RDF
12	Holger Schnädelbach, Stefan Rennick Egglestone, Stuart Reeves, Steve Benford, Brendan Walker, Michael Wright	Performing thrill: designing telemetry systems and spectator interfaces for amusement rides.	CHI	2008	DBLP DOI BibTeX RDF	amusement, biosensing, fairground, spectator interface, theme-park, performance, wearable computing, orchestration, heart rate, telemetry
12	Kenton O'Hara	Understanding geocaching practices and motivations.	CHI	2008	DBLP DOI BibTeX RDF	geocache, gps, global positioning system, interviews, diary study, location-based computing
12	Tore Hoel, Jan M. Pawlowski, Paul A. Hollins	Learning Technology Standards Development Planning for an Improved Process and Product.	ICALT	2008	DBLP DOI BibTeX RDF
12	Paul Ward, Mariusz Pelc, James Hawthorne, Richard John Anthony	Embedding Dynamic Behaviour into a Self-configuring Software System.	ATC	2008	DBLP DOI BibTeX RDF	Dynamic embedded systems, Policy-based computing, Automotive control systems, Fault-tolerance in autonomics
12	Darja Smite, Nils Brede Moe, Richard Torkar	Pitfalls in Remote Team Coordination: Lessons Learned from a Case Study.	PROFES	2008	DBLP DOI BibTeX RDF
12	Ingo J. Timm, Tjorben Bogon, Andreas D. Lattner, René Schumann	Teaching Distributed Artificial Intelligence with RoboRally.	MATES	2008	DBLP DOI BibTeX RDF
12	Tom R. Eikebrokk, Jon Iden, Dag H. Olsen, Andreas L. Opdahl	Exploring Process-Modelling Practice: Towards a Conceptual Model.	HICSS	2008	DBLP DOI BibTeX RDF
12	Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Cheap Boolean Role Constructors for Description Logics.	JELIA	2008	DBLP DOI BibTeX RDF
12	Nicolas Le Novère	Multiscale Modelling of Neuronal Signalling.	CMSB	2008	DBLP DOI BibTeX RDF
12	Ian Morgan, Honghai Liu 0001, George Turnbull, David J. Brown 0002	Predictive unsupervised organisation in marine engine fault detection.	IJCNN	2008	DBLP DOI BibTeX RDF
12	Ana Isabel Calvo Alcalde, Juan José Andrés Gutiérrez, Jesús Vegas Hernández, Valentín Cardeñoso-Payo, Esteban Pérez Castrejón	Software Agents for Home Environment Automation.	DCAI	2008	DBLP DOI BibTeX RDF	software intelligent agents, ontology, Multi-Agent System, middleware, Artificial Intelligence, context, services discovery, Ambient Intelligence, RfID, UPnP, Digital Home
12	Wenyu Zhu, Thomas Dreibholz, Erwin P. Rathgeb	Analysis and evaluation of a scalable QoS device for broadband access to multimedia services.	LCN	2008	DBLP DOI BibTeX RDF
12	Andreas Köpke, Adam Wolisz	What's new? Message reduction in sensor networks using events.	LCN	2008	DBLP DOI BibTeX RDF
12	Udo Bartlang, Jörg P. Müller	DhtFlex: A Flexible Approach to Enable Efficient Atomic Data Management Tailored for Structured Peer-to-Peer Overlays.	ICIW	2008	DBLP DOI BibTeX RDF	dhtflex, p2p, atomic operations, dht
12	Federico Malucelli, Sara Nicoloso	Shiftable intervals.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF	Complexity, Optimization problems, Interval graphs