The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for precise with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1949-1973 (15) 1974-1978 (17) 1979-1980 (17) 1981-1982 (15) 1983-1985 (22) 1986-1987 (22) 1988 (30) 1989 (33) 1990 (44) 1991 (27) 1992 (50) 1993 (64) 1994 (76) 1995 (76) 1996 (86) 1997 (120) 1998 (175) 1999 (194) 2000 (242) 2001 (285) 2002 (357) 2003 (357) 2004 (550) 2005 (644) 2006 (810) 2007 (852) 2008 (912) 2009 (600) 2010 (191) 2011 (140) 2012 (158) 2013 (187) 2014 (184) 2015 (185) 2016 (211) 2017 (233) 2018 (265) 2019 (354) 2020 (375) 2021 (379) 2022 (450) 2023 (450) 2024 (137)
Publication types (Num. hits)
article(3255) data(2) incollection(55) inproceedings(7193) phdthesis(85) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6712 occurrences of 3759 keywords

Results
Found 10591 publication records. Showing 10591 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
54Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz Towards a theory of natural language interfaces to databases. Search on Bibsonomy IUI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF reliability, database, natural language interface
48Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt Precise garbage collection for C. Search on Bibsonomy ISMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF garbage collection, precise, conservative, c programming language, accurate
48Oliver Au, Roger G. Stone, John Cooke Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications. Search on Bibsonomy IFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF precise scenario, formal method, use case, requirements specification, Z notation
47James E. Smith, Andrew R. Pleszkun Implementing Precise Interrupts in Pipelined Processors. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
44Mayan Moudgill, Stamatis Vassiliadis Precise Interrupts. Search on Bibsonomy IEEE Micro The full citation details ... 1996 DBLP  DOI  BibTeX  RDF interrupt handlers, out-of-order issue processors, instruction level parallel processors, pipelining, exceptions, superscalar processors, traps, precise interrupts
40Dong-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. Search on Bibsonomy CASES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Bytecode-to-C, J2ME CDC, ahead-of-time compiler, precise garbage collection, java virtual machine
36Jeanette Tsang, Konstantin Beznosov A Security Analysis of the Precise Time Protocol (Short Paper). Search on Bibsonomy ICICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF IEEE 1588, Precise Time Protocol, Network Time Protocol, time synchronization, security analysis
36Sander M. Bohté The evidence for neural information processing with precise spike-times: A survey. Search on Bibsonomy Nat. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF precise spike timing, synchrony coding, spiking neural networks, temporal coding, neural coding
36William F. Richardson, Erik Brunvand Precise exception handling for a self-timed processor. Search on Bibsonomy ICCD The full citation details ... 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
33Soyeb Alli, Chris Bailey 0002 A Mechanism for Implementing Precise Exceptions in Pipelined Processors. Search on Bibsonomy DSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Yongmin Zhong, Wolfgang Müller-Wittig, Weiyin Ma Incorporating Constraints into a Virtual Reality Environment for Intuitive and Precise Solid Modelling. Search on Bibsonomy IV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Hongyu Shen, Zhongdong Duan A Time-History Analysis Algorithm of a Non-viscously Damped System Using Gauss Precise Integration. Search on Bibsonomy AICI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF non-viscous damping, state-space equation, precise integration method, Gauss-Legendre quadrature method, time-history analysis
33Hrvoje Benko, Andrew D. Wilson, Patrick Baudisch Precise selection techniques for multi-touch screens. Search on Bibsonomy CHI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF bi-manual, precise target acquisition, two-finger, interaction techniques, touch screens, tabletop displays
33Henrik Theiling Extracting safe and precise control flow from binaries. Search on Bibsonomy RTCSA The full citation details ... 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
33Frank-Michael Renner, Jürgen Becker 0001, Manfred Glesner Automated Communication Synthesis for Architecture-Precise Rapid Prototyping of Real-Time Embedded Systems. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2000 DBLP  DOI  BibTeX  RDF automated communication synthesis, architecture-precise rapid prototyping, performance modeling, Hardware/software codesign, real-time embedded systems
33Frank-Michael Renner, Jürgen Becker 0001, Manfred Glesner Communication Performance Models for Architecture-Precise Prototyping of Real-Time Embedded Systems. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 1999 DBLP  DOI  BibTeX  RDF real-time em-bedded systems, architecture-precise prototyping, performance modeling, Hardware/software codesign, communication synthesis
33Frédéric Pétrot, Denis Hommais, Alain Greiner Cycle precise core based hardware/software system simulation with predictable event propagation. Search on Bibsonomy EUROMICRO The full citation details ... 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
33Amnon H. Eden, Amiram Yehudai, Joseph Gil Precise Specification and Automatic Application of Design Patterns. Search on Bibsonomy ASE The full citation details ... 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
33David Lorge Parnas, Jan Madey, Michal Iglewski Precise Documentation of Well-Structured Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
29Farouk 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). Search on Bibsonomy 2020   RDF
29Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich The synergy of precise and fast abstractions for program verification. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF CEGAR, predicate abstraction, abstraction refinement
29Matthew Horridge, Bijan Parsia, Ulrike Sattler Laconic and Precise Justifications in OWL. Search on Bibsonomy ISWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Omkant Pandey, Rafael Pass, Amit Sahai, Wei-Lung Dustin Tseng, Muthuramakrishnan Venkitasubramaniam Precise Concurrent Zero Knowledge. Search on Bibsonomy EUROCRYPT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Jinjun Li, Hong Zhao, Tao Jiang, Xiang Zhou Development of a 3D High-Precise Positioning System Based on a Planar Target and Two CCD Cameras. Search on Bibsonomy ICIRA (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Binocular Stereo Vision, 3D High-precise Positioning System, VCMM, Planar Target, Direct Reference Plane
29Jianghao Li, Zhenbo Li, Jiapin Chen Reinforcement Learning Based Precise Positioning Method for a Millimeters-Sized Omnidirectional Mobile Microrobot. Search on Bibsonomy ICIRA (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF precise positioning, mobile microrobot, electromagnetic micromotor, reinforcement learning
29Soon-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. Search on Bibsonomy APSEC The full citation details ... 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
29Markus Kampmann Estimation of the chin and cheek contours for precise face model adaptation. Search on Bibsonomy ICIP (3) The full citation details ... 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
27Frank-Michael Renner, Jürgen Becker 0001, Manfred Glesner Field Programmable Communication Emulation and Optimization for Embedded System Design. Search on Bibsonomy FPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF architecture-precise rapid prototyping, field programmable emulation, Hardware/software codesign, real-time embedded systems
27Robert B. France A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts. Search on Bibsonomy OOPSLA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF precise semantics, requirements class diagrams, UML, UML, Z
27Roger Espasa, Mateo Valero, James E. Smith 0001 Out-of-Order Vector Architectures. Search on Bibsonomy MICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF memory traffic elimination, microarchitecture, out-of-order execution, memory latency, register renaming, vector architecture, precise interrupts
25Greta Yorsh, Thomas W. Reps, Shmuel Sagiv Symbolically Computing Most-Precise Abstract Operations for Shape Analysis. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz Towards a theory of natural language interfaces to databases. Search on Bibsonomy IUI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF reliability, database, natural language interface
23Sylvain Chevallier, Philippe Tarroux Covert Attention with a Spiking Neural Network. Search on Bibsonomy ICVS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF precise spike-timing, covert attention, saliency, spiking neurons
23Reinhard Viertl Fuzzy Bayesian Inference. Search on Bibsonomy SMPS The full citation details ... 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
23Lixin Su, Mikko H. Lipasti Speculative optimization using hardware-monitored guarded regions for java virtual machines. Search on Bibsonomy VEE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF precise exceptions, speculative processors, java, virtual machines, transactional memory
23Aamer Jaleel, Bruce L. Jacob In-Line Interrupt Handling and Lock-Up Free Translation Lookaside Buffers (TLBs). Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Reorder-buffer (ROB), exception handlers, in-line interrupt, lock-up free, translation lookaside buffers (TLBs), performance modeling, precise interrupts
23Oguz Ergin, Deniz Balkan, Dmitry Ponomarev 0001, Kanad Ghose Early Register Deallocation Mechanisms Using Checkpointed Register Files. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF register file optimization, Superscalar processors, precise interrupts
23Jianxi Fan, Xiaola Lin The t/k-Diagnosability of the BC Graphs. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
23Guey-Yun Chang, Gerard J. Chang, Gen-Huey Chen Diagnosabilities of Regular Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF diagnosis by comparison, pessimistic diagnosis strategy, precise diagnosis strategy, hypercube, Diagnosis, multiprocessor system, PMC model
23Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001 Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF UML meta model, precise behavioral semantics, graph transformation, statechart diagrams
23Panagiotis Chountas, Ilias Petrounias Representation of Definite, Indefinite and Infinite Temporal Information. Search on Bibsonomy IDEAS The full citation details ... 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
23Akio Doi, Satoshi Suzuki, Koji Koyamada, Shinji Sannakanishi Vortex flow visualization using tetrahedral cell subdivision. Search on Bibsonomy PG The full citation details ... 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
23István Forgács An Exact Array Reference Analysis for Data Flow Testing. Search on Bibsonomy ICSE The full citation details ... 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
23Eduardo B. Fernández, Robert B. France Formal specification of real-time dependable systems. Search on Bibsonomy ICECCS The full citation details ... 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
23Pei Hsia, Jayarajan Samuel, Jerry Gao 0002, David Chenho Kung, Yasufumi Toyoshima, Cris Chen Formal Approach to Scenario Analysis. Search on Bibsonomy IEEE Softw. The full citation details ... 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
23Masatoshi Okutomi, Takeo Kanade A Multiple-Baseline Stereo. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF multiple-baseline stereo, stereo matching method, lateral displacement, precise distance estimates, computer vision, computer vision, stereo image processing
23David Callahan, Alan Carle, Mary W. Hall, Ken Kennedy Constructing the Procedure Call Multigraph. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF procedure call multigraph, precise call multigraph, algorithm, parallel programming, polynomial, recursion, upper bound
23Bev Littlewood, Douglas R. Miller Conceptual Modeling of Coincident Failures in Multiversion Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
21K. Tuncay Tekle, Yanhong A. Liu Precise complexity analysis for efficient datalog queries. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF demand-driven evaluation, optimization, program transformation, datalog, tabling, complexity analysis
21Xiaopeng 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. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Jingwen Tian, Meijuan Gao, Fan Zhang Research and Application of Urban Logistics Demand Forecast Based on High Speed and Precise Genetic Algorithm Neural Network. Search on Bibsonomy ISNN (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Logistics demand, genetic algorithm, neural network, forecast
21Greta Yorsh, Eran Yahav, Satish Chandra 0001 Generating precise and concise procedure summaries. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF micro-transformers, relational analysis, symbolic summary, typestate verification, composition, summarization, aliasing, dataflow analysis
21Liya Ding, Aleix M. Martínez Precise detailed detection of faces and facial features. Search on Bibsonomy CVPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Jen-Wei Huang, Bi-Ru Dai, Ming-Syan Chen Twain: Two-end association miner with precise frequent exhibition periods. Search on Bibsonomy ACM Trans. Knowl. Discov. Data The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Association, temporal
21Laura Perusco, Katina Michael Humancentric Applications of Precise Location Based Services. Search on Bibsonomy ICEBE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Agustín Goñi, Yadran Eterovic Building Precise UML Constructs to Model Concurrency Using OCL. Search on Bibsonomy UML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Yann-Gaël Guéhéneuc A reverse engineering tool for precise class diagrams. Search on Bibsonomy CASCON The full citation details ... 2004 DBLP  BibTeX  RDF
21Roberto Bagnara, Patricia M. Hill, Elisa Ricci 0002, Enea Zaffanella Precise Widening Operators for Convex Polyhedra. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Xiangyu Zhang 0001, Rajiv Gupta 0001, Youtao Zhang Precise Dynamic Slicing Algorithms. Search on Bibsonomy ICSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Tiejun Wang, Scott F. Smith 0001 Precise Constraint-Based Type Inference for Java. Search on Bibsonomy ECOOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Weimin Huang, Robert Mariani Face Detection and Precise Eyes Location. Search on Bibsonomy ICPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Deepankar Bairagi, Dharma P. Agrawal, Sandeep Kumar Precise Call Graph Construction for OO Programs in the Presence of Virtual Functions. Search on Bibsonomy ICPP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF object-oriented, C++, call graph, virtual function
20Chen 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. Search on Bibsonomy Remote. Sens. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20He 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. Search on Bibsonomy ASE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Xuanping 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. Search on Bibsonomy Remote. Sens. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Benjamin 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. Search on Bibsonomy Frontiers Digit. Health The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Dehai 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. Search on Bibsonomy Sensors The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Ré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 ). Search on Bibsonomy JEP-TALN-RECITAL (DEFT) The full citation details ... 2020 DBLP  BibTeX  RDF
20Khoder 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). Search on Bibsonomy 2020   RDF
20Matthieu 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). Search on Bibsonomy 2019   RDF
20Xiaolong 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. Search on Bibsonomy Sensors The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
20Shusaku Hayakawa, Akihiko Ichikawa, Akiyuki Hasegawa, Masaru Takeuchi, Toshio Fukuda Study of a precise dura mater model for precise human analogue model. Search on Bibsonomy MHS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
20Jareer Mohammed, Terry Moore, Chris Hill, Richard M. Bingley An assessment of the precise products on static precise point positioning using multi-constellation GNSS. Search on Bibsonomy PLANS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
20Anatolii Kostrygin Precise Analysis of Epidemic Algorithms. (Analyse précise des algorithmes épidémiques). Search on Bibsonomy 2017   RDF
20Kristina 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)). Search on Bibsonomy 2017   RDF
20Jeremy 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). Search on Bibsonomy 2017   RDF
20Zhibo Wen Bias Estimation for Precise Point Positioning (Biasschätzung für Precise Point Positioning) (PDF / PS) Search on Bibsonomy 2017   RDF
20David 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). Search on Bibsonomy 2015   RDF
20Henry G. Baker Precise instruction scheduling without a precise machine model. Search on Bibsonomy SIGARCH Comput. Archit. News The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
19Warren Shen, Pedro DeRose, Robert McCann, AnHai Doan, Raghu Ramakrishnan 0001 Toward best-effort information extraction. Search on Bibsonomy SIGMOD Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF information extraction, approximate, best-effort
19Sonali 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. Search on Bibsonomy Virtual Real. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Visual Depth Cues, Visual Search Tasks, Depth Perception, Motion Parallax, Frames of Reference, Desktop Virtual Environments
19Yongmin Zhong, Wolfgang Müller-Wittig, Weiyin Ma A Hierarchically Structured Constraint-Based Data Model for Solid Modelling in a Virtual Reality Environment. Search on Bibsonomy CW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Lasse Schwarten, Benjamin Walther-Franks, Christoph Grimmer, Sebastian Feige A comparison of motion and keypad interaction for fine manipulation on mobile devices. Search on Bibsonomy BCS HCI (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF motion-based interaction, precise manipulation, tilt-based interfaces, mobile HCI, one-handed interaction
19Guey-Yun Chang, Gen-Huey Chen, Gerard J. Chang (t, k) - Diagnosis for Matching Composition Networks under the MM* Model. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF matching composition network, MM* model, precise diagnosis strategy, (t,k){hbox{-}}rm diagnosis, multiprocessor system, Diagnosability
19Daniel Vogel 0001, Patrick Baudisch Shift: a technique for operating pen-based interfaces using touch. Search on Bibsonomy CHI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF precise target acquisition, mobile devices, interaction techniques, occlusion, touch-screens
19Z. H. Huang, L. Xia, X. P. He A Numerical Solutions Based on the Quasi-wavelet Analysis. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF interval quasi_shannon, precise integration method, approximate equations of long waves in shallow water
19Guey-Yun Chang, Gen-Huey Chen, Gerard J. Chang (t, k)-Diagnosis for Matching Composition Networks. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF matching composition network, precise diagnosis strategy, (t,k){hbox{-}}{rm diagnosis}, multiprocessor system, Diagnosability, PMC model, sequential diagnosis
19Saeed Toosizadeh, Ali Peiravi Novel fuzzy test patterns and their application in the measurement of geometric characteristics of displays. Search on Bibsonomy Mach. Vis. Appl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Fuzzy test pattern, Precise localization algorithm, Geometric characteristics of displays, Visual measurement, Sub-pixel edge detection
19Kazuyuki Amano, Akira Maruoka Potential of the Approximation Method (extended abstract). Search on Bibsonomy FOCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF precise versions, bottleneck counting argument, sunflower contraction, lower bounds, Boolean functions, vertices, cliques, approximation method, monotone circuit
19Wade Walker, Harvey G. Cragon Interrupt Processing in Concurrent Processors. Search on Bibsonomy Computer The full citation details ... 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
18Ning Li, Qian Li, YunYun Fan, LuPing Wang Chirp scaling algorithm for bi-static SAR using a precise range model. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bi-static SAR, chirp scaling factor, focusing
18Avinash Sridharan, Bhaskar Krishnamachari Explicit and precise rate control for wireless sensor networks. Search on Bibsonomy SenSys The full citation details ... 2009 DBLP  DOI  BibTeX  RDF wireless sensor networks, congestion control
18Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi SPEED: precise and efficient static estimation of program computational complexity. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF counter instrumentation, quantitative functions, symbolic complexity bounds, termination analysis
18Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin Precise pointer reasoning for dynamic test generation. Search on Bibsonomy ISSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF pointer reasoning, software testing, program verification, automatic test generation
18Ronan Boulic, Daniel Raunhardt Integrated Analytic and Linearized Inverse Kinematics for Precise Full Body Interactions. Search on Bibsonomy MIG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Hiroaki Tezuka, Takao Nishitani A precise and stable foreground segmentation using fine-to-coarse approach in transform domain. Search on Bibsonomy ICIP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin A practical and precise inference and specializer for array bound checks elimination. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF size properties, dependent types, safety verification
18Thomas Gawlitza, Helmut Seidl Precise Interval Analysis vs. Parity Games. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Julien Tierny, Jean-Philippe Vandeborre, Mohamed Daoudi Fast and precise kinematic skeleton extraction of 3D dynamic meshes. Search on Bibsonomy ICPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Mario Méndez-Lojo, Manuel V. Hermenegildo Precise Set Sharing Analysis for Java-Style Programs. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 10591 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license