Search results for "Techniques"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Ben Liblit, Atanas Rountev	WODA 2008: the sixth international workshop on dynamic analysis.	ISSTA	2008	DBLP DOI BibTeX RDF	development of dynamic analysis tools and frameworks, efficient instrumentation techniques, fault detection and debugging, remote analysis and measurement of software systems, statistical reasoning techniques, synergies between static and dynamic analysis techniques, visualization and classification of program behavior, software testing, dynamic analysis, runtime monitoring, optimization techniques, program evolution
5	Kenneth S. Kundert	Simulation methods for RF integrated circuits.	ICCAD	1997	DBLP DOI BibTeX RDF	RF integrated circuits, envelope techniques, modern RF simulators, simulation methods, small signal techniques, state techniques, time domain techniques, integrated circuit modelling
4	David Pinelle, Mutasem Barjawi, Miguel A. Nacenta, Regan L. Mandryk	An evaluation of coordination techniques for protecting objects and territories in tabletop groupware.	CHI	2009	DBLP DOI BibTeX RDF	coordination techniques, collaboration, groupware, interaction techniques, awareness, tabletop
4	Dimitri Plemenos, George Miaoulis	1 Intelligent Techniques for Computer Graphics.	Artificial Intelligence Techniques for Computer Graphics	2008	DBLP DOI BibTeX RDF	Virtual World Exploration, Artificial Intelligence, Computer Graphics, Triangulation, Motion Modelling, Declarative Modelling, Camera placement
4	G. I. Ankoudinov, I. G. Ankoudinov, A. I. Strizhachenko	Multi-Variant Assignment Generation and Assessment Techniques.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
4	Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Sandip Ray	A Survey of Hybrid Techniques for Functional Verification.	IEEE Design & Test of Computers	2007	DBLP DOI BibTeX RDF	informal techniques, hybrid, functional verification, formal techniques
4	Wan Adilah Wan Adnan, Nor Laila Md. Noor, Rasimah Aripin	An Experimental Evaluation of Information Visualization Techniques and Decision Style.	HCI	2007	DBLP DOI BibTeX RDF	information visualization techniques, decision style, human computer interaction, decision support system
4	Alex Olwal, Steven Feiner	Unit: modular development of distributed interaction techniques for highly interactive user interfaces.	GRAPHITE	2004	DBLP DOI BibTeX RDF	virtual reality, augmented reality, interaction techniques, mixed reality, visual programming, dataflow programming
4	Kasper Hornbæk, Erik Frøkjær	Two psychology-based usability inspection techniques studied in a diary experiment.	NordiCHI	2004	DBLP DOI BibTeX RDF	inspection techniques, metaphors of human thinking, usability evaluation techniques, psychology, individual differences, cognitive walkthrough
4	Bruno Tuffin, Kishor S. Trivedi	Implementation of Importance Splitting Techniques in Stochastic Petri Net Package.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF	Fluid Stochastic Petri Nets, Importance splitting techniques, Stochastic Petri Nets, Rare events simulation
4	Volker Paelke	Systematic Design of Interactive Illustration Techniques for User Guidance in Virtual Environments. (PDF / PS)	VR	2000	DBLP DOI BibTeX RDF	usability centered design, content development, interaction guidance, interactive illustration techniques, virtual environments, design process, design techniques
4	Bjarne Stroustrup	Exception Safety: Concepts and Techniques.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
4	Andreas Heuer, Denny Priebe	Integrating a Query Language for Structured and Semi-Structured Data and IR Techniques. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	IR techniques, Information Retrieval Query Language, back-ends, GETESS project, IRQL development, information retrieval techniques, SQL99 standard, information retrieval clauses, Boolean retrieval, object-relational model, attribute-independent queries, RDBMSs, IRQL queries, full-text DBMSs, conventional search engines, information retrieval, user interface, query languages, data model, semi-structured data, post processing, data access, structured data, dialogue system, database query languages, object-relational DBMSs
4	Robert Joan-Arinyo, Antoni Soto-Riera	Combining Constructive and Equational Geometric Constraint-Solving Techniques.	ACM Trans. Graph.	1999	DBLP DOI BibTeX RDF	constructive techniques, equational techniques, rewriting systems, geometric constraint solving, canonical forms
4	Gerald C. Gannod, Betty H. C. Cheng	Using Informal and Formal Techniques for the Reverse Engineering of C Programs. (PDF / PS)	WCRE	1996	DBLP DOI BibTeX RDF	informal techniques, higher level abstraction, programming methods, code correctness, ground-based command system, unmanned flight systems, spacecraft control, formal specifications, reverse engineering, reverse engineering, object-oriented programming, software maintenance, program understanding, legacy system, system re-engineering, formal techniques, C programs, program semantics
4	Frank Poirot, Gerard Tarroux, Ramine Roane	Optimization using implicit techniques for industrial designs.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	implicit techniques, Boolean functions, Boolean functions, logic synthesis, logic CAD, binary decision diagrams, hardware description languages, hardware description languages, industrial designs, circuit optimisation, optimization techniques, design complexity
4	Humberto E. Garcia	Control and supervision of a complex production process using hybrid systems techniques.	ICECCS	1995	DBLP DOI BibTeX RDF	fission research reactors, nuclear engineering computing, fission reactor core control, complex production process supervision, hybrid systems techniques, Experimental Breeder Reactor II, Argonne National Laboratory, metallic sodium, sodium carbonate, hybrid system techniques, hybrid control solution
4	Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea	Verifying the performance of the PCI local bus using symbolic techniques. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	PCI local bus, model checking techniques, performance evaluation, logic testing, system buses, symbolic techniques, timing information, finite-state systems, temporal behavior
4	Henry Lieberman	The Visual Language of Experts in Graphic Design. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	graphic design experts, visual problem solving experts, computer-based image-editing tools, inference techniques, design professionals, informal knowledge engineering study, design communication, beginning designer teaching, knowledge acquisition system, computer graphics, knowledge acquisition, visual languages, visual language, problem solving, inference mechanisms, student, graphic designers, computer aided instruction, intelligent assistance, novices, learning by example, books, design knowledge, graphical editors, artificial intelligence techniques, intelligent design assistants, learning techniques
4	Ying K. Leung, Mark D. Apperley	A Review and Taxonomy of Distortion-Oriented Presentation Techniques.	ACM Trans. Comput.-Hum. Interact.	1994	DBLP DOI BibTeX RDF	Perspective Wall, bifocal displays, distortion-oriented presentation, focus + context techniques, presentation techniques, information visualization, graphical interfaces, fisheye views
4	Steven J. Zeil	Perturbation Techniques for Detecting Domain Errors.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	sensitivity measures, individual test points, domain errors, perturbing functions, potential faults, standard optimization techniques, novel test-data-generation method, arithmetic fault detection, perturbation techniques, software testing, error detection, error detection, program testing, test set, vector space, arithmetic expressions
4	Carol J. Berry, Roger W. Holliday, William G. Tuel Jr.	Data Definition And Management Techniques For Interactive Geo-Facility Applications.	Data Base Techniques for Pictorial Applications	1979	DBLP DOI BibTeX RDF
4	Mario Schkolnick	Physical Database Design Techniques.	Data Base Design Techniques II	1979	DBLP DOI BibTeX RDF
4	J. K. Skwirzynski	Simulation Techniques for the Study of Modulated Communication.	Optimization Techniques	1973	DBLP DOI BibTeX RDF
4	Douglas T. Ross	Computer-aided design.	Commun. ACM	1961	DBLP DOI BibTeX RDF	efficient computation of very large complex problems, manual intervention techniques and equipment, numerical control processes, operating and debugging systems, problem formulation, information retrieval, artificial intelligence, problem solving, language design, automatic programming, symbol manipulation, techniques, compiler techniques
3	Mark Last	Language-independent Techniques for Automated Text Summarization.	Web Intelligence and Security - Advances in Data and Text Mining Techniques for Detecting and Preventing Terrorist Activities on the Web	2010	DBLP DOI BibTeX RDF
3	Ryan P. McMahan, Alexander Joel D. Alon, Shaimaa Y. Lazem, Robert J. Beaton, David Machaj, Michael Schaefer, Mara G. Silva, Anamary Leal, Robert Hagan, Doug A. Bowman	Evaluating natural interaction techniques in video games.	3DUI	2010	DBLP DOI BibTeX RDF	nonnatural interaction techniques, natural interaction techniques, commercial racing game, Nintendo Wii, video games, gaming industry
3	Gilles Bailly, Eric Lecolinet, Yves Guiard	Finger-count & radial-stroke shortcuts: 2 techniques for augmenting linear menus on multi-touch surfaces.	CHI	2010	DBLP DOI BibTeX RDF	multi-finger interaction, multi-touch, two-handed interaction, menu techniques
3	Andreas Lundell, Joakim Westerlund, Tapio Westerlund	Some transformation techniques with applications in global optimization.	J. Global Optimization	2009	DBLP DOI BibTeX RDF	Transformation and convexification techniques, Signomial functions, Mixed integer non-linear programming, Global optimization
3	Maria Paula da Costa Couto	Review of input determination techniques for neural network models based on mutual information and genetic algorithms.	Neural Computing and Applications	2009	DBLP DOI BibTeX RDF	Input determination techniques, Genetic algorithms, Artificial neural networks, Mutual information
3	Nathan D. Ratliff, David Silver, J. Andrew Bagnell	Learning to search: Functional gradient techniques for imitation learning.	Auton. Robots	2009	DBLP DOI BibTeX RDF	Subgradient methods, Nonparametric optimization, Functional gradient techniques, Quadrupedal locomotion, Robotics, Planning, Grasping, Autonomous navigation, Imitation learning, Structured prediction
3	Marc Christie, Patrick Olivier	Camera control in computer graphics: models, techniques and applications.	SIGGRAPH ASIA Courses	2009	DBLP DOI BibTeX RDF
3	Evan Goldberg	Medial axis techniques for stereoscopic extraction.	SIGGRAPH Talks	2009	DBLP DOI BibTeX RDF
3	Fran Kalal, Carmen Ngai, Claudia Chung	Pushing tailoring techniques to reinforce Up character design.	SIGGRAPH Talks	2009	DBLP DOI BibTeX RDF
3	Yan Tang, Kunwu Feng	An Expert System Based Approach to Modeling and Selecting Requirement Engineering Techniques.	WISM	2009	DBLP DOI BibTeX RDF	Requirements Engineering Techniques, Expert System, Classifiers, Bayesian Belief Network, Data Transformation, Probability Mass function
3	Daniele Ludovici, Georgi Nedeltchev Gaydadjiev, Davide Bertozzi, Luca Benini	Capturing topology-level implications of link synthesis techniques for nanoscale networks-on-chip.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	link design techniques, network-on-chip
3	Jean-François Ladry, David Navarre, Philippe A. Palanque	Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces.	ICMI	2009	DBLP DOI BibTeX RDF	fusion engines, interactive software engineering, safety-critical interactive systems, multimodal interfaces, formal description techniques, model-based approaches
3	Durga L. Shrestha, Nagendra Kayastha, Dimitri P. Solomatine	ANNs and Other Machine Learning Techniques in Modelling Models' Uncertainty.	ICANN	2009	DBLP DOI BibTeX RDF	clustering, artificial neural networks, machine learning techniques, modelling uncertainty
3	Wolfgang Broll, Jan Herling	Supporting Reusability of VR and AR Interface Elements and Interaction Techniques.	HCI	2009	DBLP DOI BibTeX RDF	Multi-modal User Interfaces, Virtual Reality, Augmented Reality, Interaction Techniques, Mixed Reality, 3D User Interfaces
3	Chin-Shyurng Fahn, Ming-Jui Kuo, Kai-Yi Wang	Real-Time Face Tracking and Recognition Based on Particle Filtering and AdaBoosting Techniques.	HCI	2009	DBLP DOI BibTeX RDF	face recognition, particle filter, face tracking, AdaBoost algorithm
3	Mark Billinghurst, Hirokazu Kato, Seiko Myojin	Advanced Interaction Techniques for Augmented Reality Applications.	HCI	2009	DBLP DOI BibTeX RDF	Augmented Reality, Interaction Techniques, Tangible User Interfaces, Multimodal Input
3	Siuly, Yan Li, Peng Wen	Classification of EEG Signals Using Sampling Techniques and Least Square Support Vector Machines.	RSKT	2009	DBLP DOI BibTeX RDF	sampling techniques (ST), simple random sampling (SRS), electroencephalogram (EEG), least square support vector machines (LS-SVM)
3	Matthias Kirschner, Philipp Schengbier, Tobias Tscheuschner	Speed-Up Techniques for the Selfish Step Algorithm in Network Congestion Games.	SEA	2009	DBLP DOI BibTeX RDF	selfish step algorithm, network congestion games, game theory, shortest paths, Nash equilibria, speed-up techniques
3	David Ahlström, Jürgen Großmann, Susanne Tak, Martin Hitz	Exploring new window manipulation techniques.	OZCHI	2009	DBLP DOI BibTeX RDF	novel interaction techniques, window moving, window resizing, window management
3	Garth Shoemaker, Leah Findlater, Jessica Q. Dawson, Kellogg S. Booth	Mid-air text input techniques for very large wall displays.	Graphics Interface	2009	DBLP DOI BibTeX RDF	interaction techniques, text input, wall displays
3	José Eustáquio Rangel de Queiroz, Joseana M. Fechine, Ana E. V. Barbosa, Danilo de Sousa Ferreira	Towards a Multidimensional Approach for the Evaluation of Multimodal Application User Interfaces.	HCI	2009	DBLP DOI BibTeX RDF	usability evaluation techniques, multidimensional approach, Multimodal user interface, multimodal application
3	Kaveh Bazargan, Gilles Falquet	Specifying the Representation of Non-geometric Information in 3D Virtual Environments.	HCI	2009	DBLP DOI BibTeX RDF	Human computer interaction, Usability, 3D interaction techniques, Information-rich virtual environments
3	Ioannis P. Chochliouros, Avishay Mor, Konstantinos N. Voudouris, O. Amrani, George Agapiou	A Mobile Multi-hop Relay Base Station (MRBS) - Relay Station (RS) Link Level Performance of Coding/Modulation Schemes, on the Basis of the REWIND Research Program.	MOBILIGHT	2009	DBLP DOI BibTeX RDF	CTC (Convolutional Turbo Coding), IEEE 802.16j standard, MIMO (Multiple-Input, Multiple-Output) techniques, MISO (Multiple-Input, Single-Output) techniques, Mobile Multi-hop Relay (MMR) specification, MMR Base Station (MRBS), Relay Station (RS), WiMAX
3	Yngve Dahl, Dag Svanæs	A comparison of location and token-based interaction techniques for point-of-care access to medical information.	Personal and Ubiquitous Computing	2008	DBLP DOI BibTeX RDF	Point-of-care systems, Electronic patient record (EPR), Ubiquitous computing, Interaction-techniques, Usability evaluation, Evaluation criteria
3	Chao Gui, Prasant Mohapatra	A framework for self-healing and optimizing routing techniques for mobile ad hoc networks.	Wireless Networks	2008	DBLP DOI BibTeX RDF	Self-healing and optimizing routing techniques, Energy-aware SHORT, Path-aware SHORT, Hop comparison array, Ad hoc networks, Routing protocol
3	Li Jiang, Armin Eberlein, Behrouz H. Far	A case study validation of a knowledge-based approach for the selection of requirements engineering techniques.	Requir. Eng.	2008	DBLP DOI BibTeX RDF	Evaluation, Knowledge management, Requirements engineering, Decision support, Reasoning, Techniques
3	D. E. Koulouriotis, A. Xanthopoulos	A comparative study of ad hoc techniques and evolutionary methods for multi-armed bandit problems.	Operational Research	2008	DBLP DOI BibTeX RDF	Exploitation-exploration trade-off, Evolutionary algorithm, Multi-armed bandits, Heuristic techniques
3	Cristiana Bolchini, Antonio Miele, Fabio Rebaudengo, Fabio Salice, Donatella Sciuto, Luca Sterpone, Massimo Violante	Software and Hardware Techniques for SEU Detection in IP Processors.	J. Electronic Testing	2008	DBLP DOI BibTeX RDF	Hardware/software techniques, Single-event upset faults, Reliability, Fault injection
3	Meriem Ennigrou, Khaled Ghédira	New local diversification techniques for flexible job shop scheduling problem with a multi-agent approach.	Autonomous Agents and Multi-Agent Systems	2008	DBLP DOI BibTeX RDF	Flexible job shop, Diversification techniques, Multi-agent system, Tabu search
3	Thibaut Lust	Speed-up techniques for solving large-scale bTSP with the Two-Phase Pareto Local Search.	GECCO	2008	DBLP DOI BibTeX RDF	tsp, local search, multiobjective combinatorial optimization, speed-up techniques
3	Martin van Tonder, Charmain Cilliers, Jéan H. Greyling	A framework for gaze selection techniques.	SAICSIT Conf.	2008	DBLP DOI BibTeX RDF	gaze selection techniques, HCI, framework, eye tracking, eye gaze interaction
3	Mathias Frisch, Raimund Dachselt, Tobias Brückmann	Towards seamless semantic zooming techniques for UML diagrams.	SOFTVIS	2008	DBLP DOI BibTeX RDF	models, visualization, UML, interaction techniques, diagrams, zoomable user interface, semantic zooming
3	Norio Baba, Kenta Nagasawa, Hisashi Handa	Utilization of Soft Computing Techniques for Making Environmental Games More Exciting -Toward an Effective Utilization of the COMMONS GAME.	KES	2008	DBLP DOI BibTeX RDF	Soft computing techniques, COMMONS GAME, Player’s involvement in game playing, Exciting game, Gaming
3	Zhengrong Li, Ross Hayward, Jinglan Zhang, Yuee Liu	Individual Tree Crown Delineation Techniques for Vegetation Management in Power Line Corridor.	DICTA	2008	DBLP DOI BibTeX RDF
3	Paul Westall, Jason J. Ford, Peter O'Shea, Stefan Hrabar	Evaluation of Maritime Vision Techniques for Aerial Search of Humans in Maritime Environments.	DICTA	2008	DBLP DOI BibTeX RDF
3	Tony Scoleri	Post-hoc Correction Techniques for Constrained Parameter Estimation in Computer Vision.	DICTA	2008	DBLP DOI BibTeX RDF
3	Ross T. Smith, Bruce H. Thomas, Wayne Piekarski	Digital foam interaction techniques for 3D modeling.	VRST	2008	DBLP DOI BibTeX RDF	3D input device, digital foam, virtual reality, augmented reality, interaction techniques, interactive modeling
3	Boris Gutkovich	Integration of CP and Compilation Techniques for Instruction Sequence Test Generation.	CPAIOR	2008	DBLP DOI BibTeX RDF
3	Grégoire Dooms, Pascal Van Hentenryck	Gap Reduction Techniques for Online Stochastic Project Scheduling.	CPAIOR	2008	DBLP DOI BibTeX RDF
3	Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira	Efficient Haplotype Inference with Combined CP and OR Techniques.	CPAIOR	2008	DBLP DOI BibTeX RDF
3	Thomas Goldschmidt, Ralf Reussner, Jochen Winzen	A case study evaluation of maintainability and performance of persistency techniques.	ICSE	2008	DBLP DOI BibTeX RDF	persistency techniques, performance, software architecture, maintainability, gqm
3	N. F. Ishak, Mehrdad J. Gangeh, Rajasvaran Logeswaran	Comparison of Denoising Techniques Applied on Low-Field MR Brain Images.	CGIV	2008	DBLP DOI BibTeX RDF
3	Shaun K. Kane, Jeffrey P. Bigham, Jacob O. Wobbrock	Slide rule: making mobile touch screens accessible to blind people using multi-touch interaction techniques.	ASSETS	2008	DBLP DOI BibTeX RDF	multi-touch interaction techniques, mobile devices, accessibility, blindness, touch screens, speech output
3	Hervé Luga	7 Automatic Generation of Behaviors, Morphologies and Shapes of Virtual Entities.	Artificial Intelligence Techniques for Computer Graphics	2008	DBLP DOI BibTeX RDF	Virtual reality, Artificial life
3	Sven Grottke, Sabina Jeschke, Thomas Richter	An Integrated Course on Wavelet-Based Image Compression - Learning Abstract Information Theory on Visual Data.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
3	Eren Küren, Akin Cellatoglu	Education Over Homogenous Network.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF	CBA, HCI, E-Learning
3	Olga Korolyova, Andrey Pakhomov	Test Harness Environment for Embedded Java Applications.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
3	A. Alegre, J. Estrada, B. Coalson, A. Milshteyn, Helen Boussalis, Charles Liu	Development and Implementation of an Information Server for Web-based Education in Astronomy.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF	Information server, tuple space parallel programming paradigm, hyperthreading architecture, space-science education
3	Rim Drira, Mona Laroussi, Alain Derycke	A First Investigation for Reducing E-Learning Environment Complexity by Multiscale.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
3	Samir M. Shariff, M. Jawaid Siddiqui, Nazir A. Sheikh, Yasir M. Shariff	Response of First Active Teaching / Learning Course at Taibah University.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
3	Kayvan Asghari, Ali Safari Mamaghani, Mohammad Reza Meybodi	An Evolutionary Algorithm for Query Optimization in Database.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
3	Sebastian Knödel	Visualization and interaction with mobile technology.	Mobile HCI	2008	DBLP DOI BibTeX RDF	mobile dervices, virtual and mixed reality, navigation, interaction techniques, sketching, pen-input, rendering techniques
3	Man Xiao, Mohamed El-Attar, Marek Reformat, James Miller	Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques.	Empirical Software Engineering	2007	DBLP DOI BibTeX RDF	Empirical results, Empirical software engineering, Test-data generation, Optimization techniques
3	Akihiro Takemura, Kenneth R. Hoffmann, Masayuki Suzuki, Zhou Wang, Hussain S. Rangwala, Hajime Harauchi, Stephen Rudin, Tokuo Umeda	Microcatheter Tip Enhancement in Fluoroscopy: A Comparison of Techniques.	J. Digital Imaging	2007	DBLP DOI BibTeX RDF	Microcatheter tracking, enhancement technique, subtraction technique, comparison of techniques, fluorography, endovascular intervention, signal-to-noise ratio
3	Jeffrey S. Pierce, Randy Pausch	Generating 3D interaction techniques by identifying and breaking assumptions.	Virtual Reality	2007	DBLP DOI BibTeX RDF	Virtual reality, Interaction techniques, 3D interaction, Generative methods
3	Gian Piero Zarri	Ontologies and reasoning techniques for (legal) intelligent information retrieval systems.	Artif. Intell. Law	2007	DBLP DOI BibTeX RDF	(legal) reasoning, inference techniques, ontologies, knowledge representation
3	Rena Bakhshi, François Bonnet, Wan Fokkink, Boudewijn R. Haverkort	Formal analysis techniques for gossiping protocols.	Operating Systems Review	2007	DBLP DOI BibTeX RDF	survey, gossiping protocols, verification techniques
3	Emilio Di Giacomo, Walter Didimo, Luca Grilli, Giuseppe Liotta	Graph Visualization Techniques for Web Clustering Engines.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	clustering, information visualization, graphical user interfaces, Web search, visualization techniques and methodologies, visualization systems and software
3	Hakjae Kim, Sungju Lee, Daesung Moon, Yongwha Chung	Energy-Efficient Transmissions of Fingerprint Images Using Both Encryption and Fingerprinting Techniques.	ICIC	2007	DBLP DOI BibTeX RDF	Biometrics/Fingerprint, Data Hiding/Fingerprinting, Encryption
3	Natalya Fedotova, Marco Bertucci, Luca Veltri	Reputation Management Techniques in DHT-Based Peer-to-Peer Networks.	ICIW	2007	DBLP DOI BibTeX RDF	DHT-based overlay networks, reputation evaluation techniques, applicability, attacks, malicious node
3	Rachel Gawley	Automating the identification of variability realisation techniques from feature models.	ASE	2007	DBLP DOI BibTeX RDF	variability realisation techniques, design patterns, software product lines, feature models
3	Guiguang Ding, Feng Yang	A Distributed Video Coding Scheme Based on Denoising Techniques.	MMM	2007	DBLP DOI BibTeX RDF	denoising techniques, video coding, distributed source coding
3	Alfredo Cuzzocrea	A Query-Strategy-Focused Taxonomy and a Customizable Benchmarking Framework for Peer-to-Peer Information Retrieval Techniques.	KES	2007	DBLP DOI BibTeX RDF	P2P Information Retrieval Techniques
3	Yaun-Kai Ko, Shyi-Ming Chen	Fuzzy Interpolative Reasoning Via Cutting and Transformations Techniques.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Fuzzy interpolative reasoning, cutting and transformation techniques, increment and ratio transformations, sparse fuzzy rule-based systems
3	Pourang Irani, Carl Gutwin, Grant Partridge, Mahtab Nezhadasl	Techniques for Interacting with Off-Screen Content.	INTERACT	2007	DBLP DOI BibTeX RDF	offscreen navigation, small displays, Navigation techniques
3	Doug A. Bowman, Brian Badillo, Dhruv Manek	Evaluating the Need for Display-Specific and Device-Specific 3D Interaction Techniques.	HCI	2007	DBLP DOI BibTeX RDF	Virtual environments, specificity, input devices, migration, 3D interaction techniques, display devices
3	Kang Shi, Pourang Irani, Pak Ching Li	Facilitating Visual Queries in the TreeMap Using Distortion Techniques.	HCI	2007	DBLP DOI BibTeX RDF	continuous zooming, visualization, searching, distortion, TreeMap, visual query, fisheye
3	Philippe A. Palanque, Sandra Basnyat, David Navarre	Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare.	USAB	2007	DBLP DOI BibTeX RDF	Incident and Accident Investigation, Human-Computer Interaction, Medical Informatics, Formal Description Techniques, Patient Monitoring
3	Nikos Deligiannis, Spiros Louvros, Stavros Kotsopoulos	Optimizing location positioning using hybrid TOA-AOA techniques in mobile cellular networks.	MobiMedia	2007	DBLP DOI BibTeX RDF	hybrid techniques, location positioning, time of arrivals (TOA), angle of arrivals (AOA)
3	Andrew Ray, Doug A. Bowman	Towards a system for reusable 3D interaction techniques.	VRST	2007	DBLP DOI BibTeX RDF	VR toolkits, virtual reality, virtual environments, 3D interaction techniques
3	Peng Wang, Stephan Bohacek	The Practical Performance of Subgradient Computational Techniques for Mesh Network Utility Optimization.	NET-COOP	2007	DBLP DOI BibTeX RDF	Network capacity optimization, subgradient techniques
3	Christos Bouras, Antonios G. Alexiou, Vasileios Kokkinos	Power saving techniques in mbms multicast mode.	WMuNeP	2007	DBLP DOI BibTeX RDF	DCH, FACH, power saving techniques, switching point, power control, UMTS, MBMS
3	Iván E. González, Jacob O. Wobbrock, Duen Horng Chau, Andrew Faulring, Brad A. Myers	Eyes on the road, hands on the wheel: thumb-based interaction techniques for input on steering wheels.	Graphics Interface	2007	DBLP DOI BibTeX RDF	StampPad, thumb-based input, interaction techniques, gestures, text entry, text input, driving, steering, touchpad, distraction, selection techniques
3	Wei Lai, Xiaodi Huang, Quang Vinh Nguyen, Mao Lin Huang	Applying Graph Layout Techniques to Web Information Visualization and Navigation.	CGIV	2007	DBLP DOI BibTeX RDF	Graph layout techniques, Visual map, Web information, Navigation, Web browser, Web graph
3	László Szilágyi, Sándor M. Szilágyi, Zoltán Benyó	A Modified FCM Algorithm for Fast Segmentation of Brain MR Images.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF