Search results for "precise"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
54	Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz	Towards a theory of natural language interfaces to databases.	IUI	2003	DBLP DOI BibTeX RDF	reliability, database, natural language interface
48	Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt	Precise garbage collection for C.	ISMM	2009	DBLP DOI BibTeX RDF	garbage collection, precise, conservative, c programming language, accurate
48	Oliver Au, Roger G. Stone, John Cooke	Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications.	IFM	2007	DBLP DOI BibTeX RDF	precise scenario, formal method, use case, requirements specification, Z notation
47	James E. Smith, Andrew R. Pleszkun	Implementing Precise Interrupts in Pipelined Processors.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	precise recovery, precise interrupt problem, saved process state, sequential model of program execution, architectural order, parallel pipeline structure, Cray-1S scalar architecture, performance evaluation, parallel architectures, interrupts, pipeline processing, system recovery, pipelined processors, performance degradation
44	Mayan Moudgill, Stamatis Vassiliadis	Precise Interrupts.	IEEE Micro	1996	DBLP DOI BibTeX RDF	interrupt handlers, out-of-order issue processors, instruction level parallel processors, pipelining, exceptions, superscalar processors, traps, precise interrupts
40	Dong-Heon Jung, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon, Jong Kuk Park	Supporting precise garbage collection in Java Bytecode-to-C ahead-of-time compiler for embedded systems.	CASES	2006	DBLP DOI BibTeX RDF	Bytecode-to-C, J2ME CDC, ahead-of-time compiler, precise garbage collection, java virtual machine
36	Jeanette Tsang, Konstantin Beznosov	A Security Analysis of the Precise Time Protocol (Short Paper).	ICICS	2006	DBLP DOI BibTeX RDF	IEEE 1588, Precise Time Protocol, Network Time Protocol, time synchronization, security analysis
36	Sander M. Bohté	The evidence for neural information processing with precise spike-times: A survey.	Nat. Comput.	2004	DBLP DOI BibTeX RDF	precise spike timing, synchrony coding, spiking neural networks, temporal coding, neural coding
36	William F. Richardson, Erik Brunvand	Precise exception handling for a self-timed processor.	ICCD	1995	DBLP DOI BibTeX RDF	precise exception handling, self-timed processor, multiple concurrent processes, self-timed queues, decoupled computer architectures, micropipelined processor, Fred, pipelined computer architecture, out-of-order instruction completion, parallel architectures, exception handling, instruction level parallelism, self-adjusting systems, self-timed systems
33	Soyeb Alli, Chris Bailey 0002	A Mechanism for Implementing Precise Exceptions in Pipelined Processors.	DSD	2004	DBLP DOI BibTeX RDF
33	Yongmin Zhong, Wolfgang Müller-Wittig, Weiyin Ma	Incorporating Constraints into a Virtual Reality Environment for Intuitive and Precise Solid Modelling.	IV	2002	DBLP DOI BibTeX RDF
33	Hongyu Shen, Zhongdong Duan	A Time-History Analysis Algorithm of a Non-viscously Damped System Using Gauss Precise Integration.	AICI	2009	DBLP DOI BibTeX RDF	non-viscous damping, state-space equation, precise integration method, Gauss-Legendre quadrature method, time-history analysis
33	Hrvoje Benko, Andrew D. Wilson, Patrick Baudisch	Precise selection techniques for multi-touch screens.	CHI	2006	DBLP DOI BibTeX RDF	bi-manual, precise target acquisition, two-finger, interaction techniques, touch screens, tabletop displays
33	Henrik Theiling	Extracting safe and precise control flow from binaries.	RTCSA	2000	DBLP DOI BibTeX RDF	safe precise control flow extraction, binary executables, instruction sequence clustering, branch targets, block boundaries, safety-critical real-time systems, graph approximation, entry points, instruction blocks, instruction routines, real-time systems, uncertainties, sequences, safety-critical software, program diagnostics, control flow graph, program control structures, static program analysis, flow graphs, bottom-up approach
33	Frank-Michael Renner, Jürgen Becker 0001, Manfred Glesner	Automated Communication Synthesis for Architecture-Precise Rapid Prototyping of Real-Time Embedded Systems.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	automated communication synthesis, architecture-precise rapid prototyping, performance modeling, Hardware/software codesign, real-time embedded systems
33	Frank-Michael Renner, Jürgen Becker 0001, Manfred Glesner	Communication Performance Models for Architecture-Precise Prototyping of Real-Time Embedded Systems.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	real-time em-bedded systems, architecture-precise prototyping, performance modeling, Hardware/software codesign, communication synthesis
33	Frédéric Pétrot, Denis Hommais, Alain Greiner	Cycle precise core based hardware/software system simulation with predictable event propagation.	EUROMICRO	1997	DBLP DOI BibTeX RDF	hardware software system simulation, predictable event propagation, cycle precise core based system simulator, digital embedded systems, Mealy signals, combinational signals, MIPS R3000, microprocessor core, PI-Bus, Pentium 120, communication, graph, C, high level synthesis, memories, directed graph, FSM, topological sort, compile-time, communicating finite state machines
33	Amnon H. Eden, Amiram Yehudai, Joseph Gil	Precise Specification and Automatic Application of Design Patterns.	ASE	1997	DBLP DOI BibTeX RDF	precise pattern specification, automatic pattern application, meta-programming language, software tool prototype, source code test, source code editing, algorithm, design patterns, object-oriented design, object-oriented methods
33	David Lorge Parnas, Jan Madey, Michal Iglewski	Precise Documentation of Well-Structured Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	precise documentation, well-structured programs, program fragments, reference document, functional approach, program documentation, tabular form, software engineering, formal specification, specification, software maintenance, software maintenance, program verification, program verification, displays, software inspection, index, structured programming, lexicon, system documentation, program correctness
29	Farouk Ghallabi	Precise self-localization of autonomous vehicles using lidar sensors and highly accurate digital maps on highway roads. (Localisation précise d'un véhicule autonome en utilisant des télémètres lasers et une carte précise de l'environnement sur autoroutes).		2020	RDF
29	Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich	The synergy of precise and fast abstractions for program verification.	SAC	2009	DBLP DOI BibTeX RDF	CEGAR, predicate abstraction, abstraction refinement
29	Matthew Horridge, Bijan Parsia, Ulrike Sattler	Laconic and Precise Justifications in OWL.	ISWC	2008	DBLP DOI BibTeX RDF
29	Omkant Pandey, Rafael Pass, Amit Sahai, Wei-Lung Dustin Tseng, Muthuramakrishnan Venkitasubramaniam	Precise Concurrent Zero Knowledge.	EUROCRYPT	2008	DBLP DOI BibTeX RDF
29	Jinjun Li, Hong Zhao, Tao Jiang, Xiang Zhou	Development of a 3D High-Precise Positioning System Based on a Planar Target and Two CCD Cameras.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	Binocular Stereo Vision, 3D High-precise Positioning System, VCMM, Planar Target, Direct Reference Plane
29	Jianghao Li, Zhenbo Li, Jiapin Chen	Reinforcement Learning Based Precise Positioning Method for a Millimeters-Sized Omnidirectional Mobile Microrobot.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	precise positioning, mobile microrobot, electromagnetic micromotor, reinforcement learning
29	Soon-Kyeong Kim, David A. Carrington	An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study.	APSEC	2000	DBLP DOI BibTeX RDF	lighting control, Object-Z specifications, precise understandable specification, light control system, graphical specification technique, formal specification technique, semantic translation, real-time interactive embedded system, Unified Modeling Language, formal specification, case study, specification languages, systems analysis, object-oriented languages, object-oriented methods, diagrams, requirements elicitation, sequence diagrams, functional model, UML diagrams, integrated framework, use case diagrams, statechart diagrams
29	Markus Kampmann	Estimation of the chin and cheek contours for precise face model adaptation.	ICIP (3)	1997	DBLP DOI BibTeX RDF	precise face model adaptation, cheek contours estimation, chin contours estimation, semantic coding, videophone sequences, very low bit rate coding, facial features estimation, parabolas, image sequences, cost functions, deformable template
27	Frank-Michael Renner, Jürgen Becker 0001, Manfred Glesner	Field Programmable Communication Emulation and Optimization for Embedded System Design.	FPL	2000	DBLP DOI BibTeX RDF	architecture-precise rapid prototyping, field programmable emulation, Hardware/software codesign, real-time embedded systems
27	Robert B. France	A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts.	OOPSLA	1999	DBLP DOI BibTeX RDF	precise semantics, requirements class diagrams, UML, UML, Z
27	Roger Espasa, Mateo Valero, James E. Smith 0001	Out-of-Order Vector Architectures.	MICRO	1997	DBLP DOI BibTeX RDF	memory traffic elimination, microarchitecture, out-of-order execution, memory latency, register renaming, vector architecture, precise interrupts
25	Greta Yorsh, Thomas W. Reps, Shmuel Sagiv	Symbolically Computing Most-Precise Abstract Operations for Shape Analysis.	TACAS	2004	DBLP DOI BibTeX RDF
23	Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz	Towards a theory of natural language interfaces to databases.	IUI	2003	DBLP DOI BibTeX RDF	reliability, database, natural language interface
23	Sylvain Chevallier, Philippe Tarroux	Covert Attention with a Spiking Neural Network.	ICVS	2008	DBLP DOI BibTeX RDF	precise spike-timing, covert attention, saliency, spiking neurons
23	Reinhard Viertl	Fuzzy Bayesian Inference.	SMPS	2008	DBLP DOI BibTeX RDF	Bayes’ theorem, Fuzzy Bayesian inference, Fuzzy information, Fuzzy intervals, Fuzzy probability distributions, Fuzzy utility, Non-precise numbers, Bayesian inference, Decision analysis, Fuzzy data
23	Lixin Su, Mikko H. Lipasti	Speculative optimization using hardware-monitored guarded regions for java virtual machines.	VEE	2007	DBLP DOI BibTeX RDF	precise exceptions, speculative processors, java, virtual machines, transactional memory
23	Aamer Jaleel, Bruce L. Jacob	In-Line Interrupt Handling and Lock-Up Free Translation Lookaside Buffers (TLBs).	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Reorder-buffer (ROB), exception handlers, in-line interrupt, lock-up free, translation lookaside buffers (TLBs), performance modeling, precise interrupts
23	Oguz Ergin, Deniz Balkan, Dmitry Ponomarev 0001, Kanad Ghose	Early Register Deallocation Mechanisms Using Checkpointed Register Files.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	register file optimization, Superscalar processors, precise interrupts
23	Jianxi Fan, Xiaola Lin	The t/k-Diagnosability of the BC Graphs.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	precise diagnosis strategy, pessimistic diagnosis strategy, t/k-diagnosis strategy, BC graph, Möbius cube, hypercube, Diagnosis, diagnosability, crossed cube, twisted cube
23	Guey-Yun Chang, Gerard J. Chang, Gen-Huey Chen	Diagnosabilities of Regular Networks.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	diagnosis by comparison, pessimistic diagnosis strategy, precise diagnosis strategy, hypercube, Diagnosis, multiprocessor system, PMC model
23	Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001	Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.	UML	2000	DBLP DOI BibTeX RDF	UML meta model, precise behavioral semantics, graph transformation, statechart diagrams
23	Panagiotis Chountas, Ilias Petrounias	Representation of Definite, Indefinite and Infinite Temporal Information.	IDEAS	2000	DBLP DOI BibTeX RDF	definite information, indefinite information, infinite temporal information, precise enterprises, imperfect data, value imperfection, temporal indeterminacy, information system, temporal databases, temporal database
23	Akio Doi, Satoshi Suzuki, Koji Koyamada, Shinji Sannakanishi	Vortex flow visualization using tetrahedral cell subdivision.	PG	1997	DBLP DOI BibTeX RDF	vortex flow visualization, tetrahedral cell subdivision, critical point searching technique, velocity vector, trilinear interpolation function, hexahedral cell, multiple critical points, linear interpolation function, numerical integration scheme, precise position calculation, Newton's method, vortices
23	István Forgács	An Exact Array Reference Analysis for Data Flow Testing.	ICSE	1996	DBLP BibTeX RDF	approximate information, definition-use pairs, exact array reference analysis, formulae negation avoidance, precise method, program path execution, program testing, data flow analysis, arrays, program optimization, data flow testing, program parallelization
23	Eduardo B. Fernández, Robert B. France	Formal specification of real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring
23	Pei Hsia, Jayarajan Samuel, Jerry Gao 0002, David Chenho Kung, Yasufumi Toyoshima, Cris Chen	Formal Approach to Scenario Analysis.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	private telephone exchanges, telephone systems, simple PBX system, formal mathematical base, precise scenarios, formal specification, formal verification, systems analysis, requirements analysis, telecommunications computing, scenario analysis, formal approach
23	Masatoshi Okutomi, Takeo Kanade	A Multiple-Baseline Stereo.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	multiple-baseline stereo, stereo matching method, lateral displacement, precise distance estimates, computer vision, computer vision, stereo image processing
23	David Callahan, Alan Carle, Mary W. Hall, Ken Kennedy	Constructing the Procedure Call Multigraph.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	procedure call multigraph, precise call multigraph, algorithm, parallel programming, polynomial, recursion, upper bound
23	Bev Littlewood, Douglas R. Miller	Conceptual Modeling of Coincident Failures in Multiversion Software.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	coincident failures, multiversion software, independently developed program versions, precise duality, input choice, program choice, diverse methodologies, simultaneous failure, independent failure behavior, methodological diversity, decision outcomes, fault tolerant computing, constraints, probability, conceptual modeling, software reliability, decision theory, optimal method
21	K. Tuncay Tekle, Yanhong A. Liu	Precise complexity analysis for efficient datalog queries.	PPDP	2010	DBLP DOI BibTeX RDF	demand-driven evaluation, optimization, program transformation, datalog, tabling, complexity analysis
21	Xiaopeng Chen, Qiang Huang 0002, Peng Hu, Min Li, Ye Tian 0024, Chen Li	Rapid and precise object detection based on color histograms and adaptive bandwidth mean shift.	IROS	2009	DBLP DOI BibTeX RDF
21	Jingwen Tian, Meijuan Gao, Fan Zhang	Research and Application of Urban Logistics Demand Forecast Based on High Speed and Precise Genetic Algorithm Neural Network.	ISNN (2)	2009	DBLP DOI BibTeX RDF	Logistics demand, genetic algorithm, neural network, forecast
21	Greta Yorsh, Eran Yahav, Satish Chandra 0001	Generating precise and concise procedure summaries.	POPL	2008	DBLP DOI BibTeX RDF	micro-transformers, relational analysis, symbolic summary, typestate verification, composition, summarization, aliasing, dataflow analysis
21	Liya Ding, Aleix M. Martínez	Precise detailed detection of faces and facial features.	CVPR	2008	DBLP DOI BibTeX RDF
21	Jen-Wei Huang, Bi-Ru Dai, Ming-Syan Chen	Twain: Two-end association miner with precise frequent exhibition periods.	ACM Trans. Knowl. Discov. Data	2007	DBLP DOI BibTeX RDF	Association, temporal
21	Laura Perusco, Katina Michael	Humancentric Applications of Precise Location Based Services.	ICEBE	2005	DBLP DOI BibTeX RDF
21	Agustín Goñi, Yadran Eterovic	Building Precise UML Constructs to Model Concurrency Using OCL.	UML	2004	DBLP DOI BibTeX RDF
21	Yann-Gaël Guéhéneuc	A reverse engineering tool for precise class diagrams.	CASCON	2004	DBLP BibTeX RDF
21	Roberto Bagnara, Patricia M. Hill, Elisa Ricci 0002, Enea Zaffanella	Precise Widening Operators for Convex Polyhedra.	SAS	2003	DBLP DOI BibTeX RDF
21	Xiangyu Zhang 0001, Rajiv Gupta 0001, Youtao Zhang	Precise Dynamic Slicing Algorithms.	ICSE	2003	DBLP DOI BibTeX RDF
21	Tiejun Wang, Scott F. Smith 0001	Precise Constraint-Based Type Inference for Java.	ECOOP	2001	DBLP DOI BibTeX RDF
21	Weimin Huang, Robert Mariani	Face Detection and Precise Eyes Location.	ICPR	2000	DBLP DOI BibTeX RDF
21	Deepankar Bairagi, Dharma P. Agrawal, Sandeep Kumar	Precise Call Graph Construction for OO Programs in the Presence of Virtual Functions.	ICPP	1997	DBLP DOI BibTeX RDF	object-oriented, C++, call graph, virtual function
20	Chen Wang, Tengjie Luo, Shitong Chen, Pan Li	Advancing Precise Orbit Determination and Precise Point Positioning of BDS-3 Satellites from B1IB3I to B1CB2a: Comparison and Analysis.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
20	He Ye, Zimin Chen, Claire Le Goues	PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and Types.	ASE	2023	DBLP DOI BibTeX RDF
20	Xuanping Li, Lin Pan 0001	Precise Point Positioning with Almost Fully Deployed BDS-3, BDS-2, GPS, GLONASS, Galileo and QZSS Using Precise Products from Different Analysis Centers.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
20	Benjamin Kye Jyn Tan, Chong Boon Teo, Xavier Tadeo, Siyu Peng, Hazel Pei Lin Soh, Sherry De Xuan Du, Vilianty Wen Ya Luo, Aishwarya Bandla, Raghav Sundar, Dean Ho, Theodore Wonpeum Kee, Agata Blasiak	Personalised, Rational, Efficacy-Driven Cancer Drug Dosing via an Artificial Intelligence SystEm (PRECISE): A Protocol for the PRECISE CURATE.AI Pilot Clinical Trial.	Frontiers Digit. Health	2021	DBLP DOI BibTeX RDF
20	Dehai Li, Wei Yan, Jinzhong Mi, Yamin Dang, Yunbin Yuan, Xingli Gan	A Smart Realtime Service to Broadcast the Precise Orbits of GPS Satellite and Its Performance on Precise Point Positioning.	Sensors	2020	DBLP DOI BibTeX RDF
20	Rémi Cardon, Natalia Grabar, Cyril Grouin, Thierry Hamon	Présentation de la campagne d'évaluation DEFT 2020 : similarité textuelle en domaine ouvert et extraction d'information précise dans des cas cliniques (Presentation of the DEFT 2020 Challenge : open domain textual similarity and precise information extraction from clinical cases ).	JEP-TALN-RECITAL (DEFT)	2020	DBLP BibTeX RDF
20	Khoder Makkawi	An adaptive fault tolerant fusion framework for a precise, available and fail-safe localization. (Un framework adaptative de fusion tolérante aux fautes pour une localisation précise, disponible et sûre).		2020	RDF
20	Matthieu Journault	Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference. (Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l'inférence de contrats).		2019	RDF
20	Xiaolong Xu, Min Li, Wenwen Li, Jingnan Liu	Performance Analysis of Beidou-2/Beidou-3e Combined Solution with Emphasis on Precise Orbit Determination and Precise Point Positioning.	Sensors	2018	DBLP DOI BibTeX RDF
20	Shusaku Hayakawa, Akihiko Ichikawa, Akiyuki Hasegawa, Masaru Takeuchi, Toshio Fukuda	Study of a precise dura mater model for precise human analogue model.	MHS	2018	DBLP DOI BibTeX RDF
20	Jareer Mohammed, Terry Moore, Chris Hill, Richard M. Bingley	An assessment of the precise products on static precise point positioning using multi-constellation GNSS.	PLANS	2018	DBLP DOI BibTeX RDF
20	Anatolii Kostrygin	Precise Analysis of Epidemic Algorithms. (Analyse précise des algorithmes épidémiques).		2017	RDF
20	Kristina Prokopetc	Precise Mapping for Retinal Photocoagulation in SLIM (Slit-Lamp Image Mosaicing). (Cartographie précise pour la photocoagulation rétinienne dans SLIM (Mosaïque de l'image de la lampe à fente)).		2017	RDF
20	Jeremy Nicola	Localisation et cartographie en simultané fiable, précise et robuste d'un robot sous-marin. (Robust, precise and reliable simultaneous localization and mapping for and underwater robot. Comparison and combination of probabilistic and set-membership methods for the SLAM problem).		2017	RDF
20	Zhibo Wen	Bias Estimation for Precise Point Positioning (Biasschätzung für Precise Point Positioning) (PDF / PS)		2017	RDF
20	David Werner	Indexation et recommandation d'informations : vers une qualification précise des items par une approche ontologique, fondée sur une modélisation métier du domaine : application à la recommandation d'articles économiques. (Information indexing and recommendation : toward a precise description if items by an ontological approach based on business domain modeling : application to recommander system of economic news).		2015	RDF
20	Henry G. Baker	Precise instruction scheduling without a precise machine model.	SIGARCH Comput. Archit. News	1991	DBLP DOI BibTeX RDF
19	Warren Shen, Pedro DeRose, Robert McCann, AnHai Doan, Raghu Ramakrishnan 0001	Toward best-effort information extraction.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	information extraction, approximate, best-effort
19	Sonali Morar, Robert D. Macredie, Timothy Cribbin	An Investigation of Visual Cues used to Create and Support Frames of Reference and Visual Search Tasks in Desktop Virtual Environments.	Virtual Real.	2002	DBLP DOI BibTeX RDF	Visual Depth Cues, Visual Search Tasks, Depth Perception, Motion Parallax, Frames of Reference, Desktop Virtual Environments
19	Yongmin Zhong, Wolfgang Müller-Wittig, Weiyin Ma	A Hierarchically Structured Constraint-Based Data Model for Solid Modelling in a Virtual Reality Environment.	CW	2002	DBLP DOI BibTeX RDF
19	Lasse Schwarten, Benjamin Walther-Franks, Christoph Grimmer, Sebastian Feige	A comparison of motion and keypad interaction for fine manipulation on mobile devices.	BCS HCI (2)	2008	DBLP DOI BibTeX RDF	motion-based interaction, precise manipulation, tilt-based interfaces, mobile HCI, one-handed interaction
19	Guey-Yun Chang, Gen-Huey Chen, Gerard J. Chang	(t, k) - Diagnosis for Matching Composition Networks under the MM* Model.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	matching composition network, MM* model, precise diagnosis strategy, (t,k){hbox{-}}rm diagnosis, multiprocessor system, Diagnosability
19	Daniel Vogel 0001, Patrick Baudisch	Shift: a technique for operating pen-based interfaces using touch.	CHI	2007	DBLP DOI BibTeX RDF	precise target acquisition, mobile devices, interaction techniques, occlusion, touch-screens
19	Z. H. Huang, L. Xia, X. P. He	A Numerical Solutions Based on the Quasi-wavelet Analysis.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	interval quasi_shannon, precise integration method, approximate equations of long waves in shallow water
19	Guey-Yun Chang, Gen-Huey Chen, Gerard J. Chang	(t, k)-Diagnosis for Matching Composition Networks.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	matching composition network, precise diagnosis strategy, (t,k){hbox{-}}{rm diagnosis}, multiprocessor system, Diagnosability, PMC model, sequential diagnosis
19	Saeed Toosizadeh, Ali Peiravi	Novel fuzzy test patterns and their application in the measurement of geometric characteristics of displays.	Mach. Vis. Appl.	2005	DBLP DOI BibTeX RDF	Fuzzy test pattern, Precise localization algorithm, Geometric characteristics of displays, Visual measurement, Sub-pixel edge detection
19	Kazuyuki Amano, Akira Maruoka	Potential of the Approximation Method (extended abstract).	FOCS	1996	DBLP DOI BibTeX RDF	precise versions, bottleneck counting argument, sunflower contraction, lower bounds, Boolean functions, vertices, cliques, approximation method, monotone circuit
19	Wade Walker, Harvey G. Cragon	Interrupt Processing in Concurrent Processors.	Computer	1995	DBLP DOI BibTeX RDF	Interrupt processing, imprecise interrupts, concurrent processors, checkpointing, taxonomy, superscalar processors, pipelined processors, out- of-order execution, out-of-order issue, precise interrupts
18	Ning Li, Qian Li, YunYun Fan, LuPing Wang	Chirp scaling algorithm for bi-static SAR using a precise range model.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	bi-static SAR, chirp scaling factor, focusing
18	Avinash Sridharan, Bhaskar Krishnamachari	Explicit and precise rate control for wireless sensor networks.	SenSys	2009	DBLP DOI BibTeX RDF	wireless sensor networks, congestion control
18	Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi	SPEED: precise and efficient static estimation of program computational complexity.	POPL	2009	DBLP DOI BibTeX RDF	counter instrumentation, quantitative functions, symbolic complexity bounds, termination analysis
18	Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin	Precise pointer reasoning for dynamic test generation.	ISSTA	2009	DBLP DOI BibTeX RDF	pointer reasoning, software testing, program verification, automatic test generation
18	Ronan Boulic, Daniel Raunhardt	Integrated Analytic and Linearized Inverse Kinematics for Precise Full Body Interactions.	MIG	2009	DBLP DOI BibTeX RDF
18	Hiroaki Tezuka, Takao Nishitani	A precise and stable foreground segmentation using fine-to-coarse approach in transform domain.	ICIP	2008	DBLP DOI BibTeX RDF
18	Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin	A practical and precise inference and specializer for array bound checks elimination.	PEPM	2008	DBLP DOI BibTeX RDF	size properties, dependent types, safety verification
18	Thomas Gawlitza, Helmut Seidl	Precise Interval Analysis vs. Parity Games.	FM	2008	DBLP DOI BibTeX RDF
18	Julien Tierny, Jean-Philippe Vandeborre, Mohamed Daoudi	Fast and precise kinematic skeleton extraction of 3D dynamic meshes.	ICPR	2008	DBLP DOI BibTeX RDF
18	Mario Méndez-Lojo, Manuel V. Hermenegildo	Precise Set Sharing Analysis for Java-Style Programs.	VMCAI	2008	DBLP DOI BibTeX RDF