|
|
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 |
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 |
|
Displaying result #1 - #100 of 10591 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|