|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9976 occurrences of 4859 keywords
|
|
|
Results
Found 33246 publication records. Showing 33246 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Neill R. Taylor, John G. Taylor |
A Novel Novelty Detector. |
ICANN (2) |
2007 |
DBLP DOI BibTeX RDF |
prefrontal cortex, disinhibition, object representations, hippocampus, Familiarity, inhibition |
15 | Inderjit S. Dhillon, Beresford N. Parlett, Christof Vömel |
The design and implementation of the MRRR algorithm. |
ACM Trans. Math. Softw. |
2006 |
DBLP DOI BibTeX RDF |
Multiple relatively robust representations, design, implementation, eigenvalues, eigenvectors, LAPACK, symmetric matrix, numerical software |
15 | Anthony M. Bloch, Arieh Iserles |
On an Isospectral Lie-Poisson System and Its Lie Algebra. |
Found. Comput. Math. |
2006 |
DBLP DOI BibTeX RDF |
Isospectral flows, Poisson system, Faithful representations, Lie algebra |
15 | Regivan Hugo Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly |
Formal Aspects of Correctness and Optimality of Interval Computations. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Interval representations, Optimality, Correctness, Continuity, Interval analysis |
15 | Ralph Lengler |
Identifying the Competencies of 'Visual Literacy' - a Prerequisite for Knowledge Visualization. |
IV |
2006 |
DBLP DOI BibTeX RDF |
Visual literacy, visual media, visual intelligence, visual communication, visual representations |
15 | Stefano Spaccapietra, Christine Parent, Esteban Zimányi |
Spatio-temporal and Multi-representation Modeling: A Contribution to Active Conceptual Modeling. |
Active Conceptual Modeling of Learning |
2006 |
DBLP DOI BibTeX RDF |
Active conceptual models, MADS model, multiple representations, multiple perspectives, spatio-temporal information |
15 | Rachel Cavill, Stephen L. Smith 0002, Andy M. Tyrrell |
Variable length genetic algorithms with multiple chromosomes on a variant of the Onemax problem. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
genetic algorithms, representations, size |
15 | Stefano Zappacosta, Stefano Nolfi, Gianluca Baldassarre |
A Testbed for Neural-Network Models Capable of Integrating Information in Time. |
SAB ABiALS |
2006 |
DBLP DOI BibTeX RDF |
Time Information Integration, Passive and Active Perception, Analysis of Internal Representations, Time Series, Signal Processing, Dynamical Systems, Testbed, Recurrent Neural Networks, Attractors, Waves |
15 | Carlos Diuk, Alexander L. Strehl, Michael L. Littman |
A hierarchical approach to efficient reinforcement learning in deterministic domains. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
factored representations, reinforcement learning, hierarchical reinforcement learning, sample complexity |
15 | Céline Hébert, Bruno Crémilleux |
Mining Frequent delta-Free Patterns in Large Databases. |
Discovery Science |
2005 |
DBLP DOI BibTeX RDF |
?-free patterns, rules, extensions, Large databases, condensed representations |
15 | Wu-Chuan Yang, Dah-Jyh Guan, Chi-Sung Laih |
Fast Multi-computations with Integer Similarity Strategy. |
Public Key Cryptography |
2005 |
DBLP DOI BibTeX RDF |
ElGamal-like public key cryptosystems, binary signed-digit (BSD) representations, sparse forms, multi-computations, multiexponentiations, multi-scalar multiplications |
15 | Steve Whittaker 0001, Brian Amento |
Semantic speech editing. |
CHI |
2004 |
DBLP DOI BibTeX RDF |
acoustic representations, speech browsing, speech editing, speech recognition, transcripts, speech retrieval |
15 | Timothy C. Hoad, Justin Zobel |
Fast video matching with signature alignment. |
Multimedia Information Retrieval |
2003 |
DBLP DOI BibTeX RDF |
video similarity, video retrieval, copy detection, video representations |
15 | Bogdan Stroe, V. S. Subrahmanian |
First order heterogeneous agent computations. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
non-ground representations, heterogeneous agents |
15 | Luciana D'Adderio |
Configuring software, reconfiguring memories: the influence of integrated systems on knowledge storage, retrieval and reuse. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
representations, knowledge reuse, integrated systems, standardisation, organisational change |
15 | Onur G. Guleryuz |
Iterated Denoising for Image Recovery. |
DCC |
2002 |
DBLP DOI BibTeX RDF |
overcomplete, complex wavelets, wavelets, DCT, denoising, error concealment, sparse representations, wavelet packets, Image recovery |
15 | Jacek Gwizdka |
Reinventing the inbox: supporting the management of pending tasks in email. |
CHI Extended Abstracts |
2002 |
DBLP DOI BibTeX RDF |
email user interface, prospective memory, visualization, task management, external representations |
15 | Johan F. Hoorn |
A model for information technologies that can be creative. |
Creativity & Cognition |
2002 |
DBLP DOI BibTeX RDF |
representations design, human-computer interaction, adaptation, integration, graphical user interfaces, abstraction, similarity, selection, interactive systems, features, association, combination, creativity support tools |
15 | Yasuhiro Yamamoto, Kumiyo Nakakoji, Atsushi Aoki |
Spatial Hypertext for linear-information authoring: Interaction design and system development based on the ART Design principle. |
Hypertext |
2002 |
DBLP DOI BibTeX RDF |
the ART (amplifying representational talkback) principle, interaction design, cognitive models, spatial hypertext, external representations, instrumental interaction |
15 | Yu-Sung Chang, Kevin T. McDonnell, Hong Qin 0001 |
A new solid subdivision scheme based on box splines. |
Symposium on Solid Modeling and Applications |
2002 |
DBLP DOI BibTeX RDF |
offsets & deformations, representation conversion, user interaction techniques, reverse engineering, blends, sweeps, multi resolution models, geometric and topological representations |
15 | Cyril Gavoille, Michal Katz, Nir A. Katz, Christophe Paul, David Peleg |
Approximate Distance Labeling Schemes. |
ESA |
2001 |
DBLP DOI BibTeX RDF |
Local representations, approximate distance, distributed data structures, labeling schemes |
15 | Monica Tavanti, Mats Lind |
2D vs 3D, Implications on Spatial Memory. |
INFOVIS |
2001 |
DBLP DOI BibTeX RDF |
3D, Spatial memory, hierarchical representations, 2D |
15 | I. Ben Salah, Pascal Maroni |
The connection between self-associated two-dimensional vector functionals and third degree forms. |
Adv. Comput. Math. |
2000 |
DBLP DOI BibTeX RDF |
Stieltjes functions, third degree forms, Laguerre-Hahn polynomials, 2-orthogonal polynomials, integral representations, 42C05, 33C45 |
15 | Mark A. Girolami, Alexei Vinokourov, Ata Kabán |
The Organization and Visualization of Document Corpora: A Probabilistic Approach. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
document corpora visualisation, generic probabilistic framework, unsupervised organisation, probabilistic hierarchical clustering, high-dimensional data collections, expectation maximisation algorithm, hierarchical probabilistic mixture methodology, asymmetric models, symmetric models, topographic relations, similar documents, latent trait model, vector space document representations, 2D grid, document handling, probabilistic approach, latent class models, text data, multinomial distribution, binomial distributions, document collections |
15 | Ricardo C. Farias, Joseph S. B. Mitchell, Cláudio T. Silva, Brian N. Wylie |
Time-Critical Rendering of Irregular Grids. |
SIBGRAPI |
2000 |
DBLP DOI BibTeX RDF |
time-critical rendering, irregular grid data sets, fastest algorithms, computer hardware, very large data set analysis, time budget, medium-sized data sets, image accuracy, optimizations, triangulation, simplification, rendering (computer graphics), hierarchical representations, frame rates, approximation methods, real time analysis, data sets, image generation, irregular grids, rendering techniques, rendering algorithms, object space |
15 | David E. Losada, Alvaro Barreiro |
Implementing Document Ranking within a Logical Framework. |
SPIRE |
2000 |
DBLP DOI BibTeX RDF |
expressive representations, unrestricted propositional formulas, partial document descriptions, information retrieval, belief revision, logical framework, logical model, document ranking, belief maintenance, vector representation |
15 | Richard J. Anderson, Paul Beame, William Chan 0001, David Notkin |
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
finite state representations, Formal methods, formal verification, binary decision diagrams, symbolic model checking, software specification |
15 | Dirk Jäger |
UPGRADE - A Framework for Graph-Based Visual Applications. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
structure-oriented (software) engineering tools, graph-based specification, generation of tools, adaptation to different representations, configuring visual tools |
15 | Michael J. Black, Allan D. Jepson |
EigenTracking: Robust Matching and Tracking of Articulated Objects Using a View-Based Representation. |
Int. J. Comput. Vis. |
1998 |
DBLP DOI BibTeX RDF |
eigenspace methods, view-based representations, parametric models of optical flow, object recognition, tracking, gesture recognition, motion analysis, robust estimation |
15 | Nuno Vasconcelos, Andrew Lippman |
Content-Based Pre-Indexed Video. |
ICIP (2) |
1997 |
DBLP DOI BibTeX RDF |
content-based pre-indexed video, large distributed image databases, library-based coding, statistical pre-indexing schemes, content-based summarization, video coding, encoding, content-based retrieval, image representations, compressed domain, content description |
15 | Georg Lambert, Franziska Bock |
Wavelet methods for texture defect detection. |
ICIP (3) |
1997 |
DBLP DOI BibTeX RDF |
multiscale wavelet methods, texture defect detection, wavelet bases, texture defects localisation, multiscale wavelet representations, fast dyadic wavelet transform, translation invariant a trous algorithm, feature extraction, image texture, computational costs, defect classification, decomposition algorithms, image texture analysis |
15 | Julio César Sampaio do Prado Leite, Gustavo Rossi, Federico Balaguer, Vanesa Maiorana, Gladys Noemí Kaplan, Graciela D. S. Hadad, Alejandro Oliveros |
Enhancing a Requirements Baseline with Scenarios. |
RE |
1997 |
DBLP DOI BibTeX RDF |
requirements baseline, scenario evolution, natural language based representations, scenarios, Requirements traceability |
15 | Hélène Laurent, Christian Doncarli, Michel Guglielmi |
Detection of human reflex response in EMG signals: a time-frequency approach. |
CBMS |
1997 |
DBLP DOI BibTeX RDF |
time-frequency representations, human reflex response detection, reflex activities, biceps brachii, perturbed flexion-extension forearm movement, horizontal plane, stationarity index, electromyography, EMG signals |
15 | Tichomir Tenev, Ramana Rao |
Managing multiple focal levels in Table Lens. |
INFOVIS |
1997 |
DBLP DOI BibTeX RDF |
multiple focal level management, Table Lens, focus visualization, context visualization, large data tables, single pixel row, design enhancements, user interface, data visualisation, spreadsheet, exploratory data analysis, graphical representations, screen space, data values |
15 | Martin Jägersand |
Image Based View Synthesis of Articulated Agents. |
CVPR |
1997 |
DBLP DOI BibTeX RDF |
image based view synthesis, active visual model acquisition, visual representations |
15 | Kiriakos N. Kutulakos |
Shape from the Light Field Boundary. |
CVPR |
1997 |
DBLP DOI BibTeX RDF |
ray-based representations, shape from occluding contour, shape from silhouettes, 3D surface reconstruction |
15 | Edwin Rijpkema, Gerben J. Hekstra, Ed F. Deprettere, Jun Ma 0011 |
A strategy for determining a Jacobi specific dataflow processor. |
ASAP |
1997 |
DBLP DOI BibTeX RDF |
Jacobi specific dataflow processor, Jacobi algorithms, real-lime adaptive signal processing applications, quasi regularity property, dependence graph representations, exploration iteration, processor template, mapper, hierarchical exploration method, mapping efficiency, lookahead techniques, pipelining, retiming, adaptive signal processing, application domain, array processing |
15 | Yamine Aït Ameur |
A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
nonfunctional property evaluation, numerical type, numerical computational accuracy, reverse engineering, reverse engineering, software maintenance, program transformations, program analysis, software reuse, program comprehension, functional language, data representations, program design, numerical programs |
15 | Jan Øyvind Aagedal, Jon Oldevik |
DEM: A Data Exchange Facility for Virtual Enterprises. |
WETICE |
1997 |
DBLP DOI BibTeX RDF |
DEM architecture, data exchange facility, cooperating organizations, system boundaries, CORBA, data management, organizations, autonomous systems, virtual enterprises, information services, electronic data interchange, data representations, information exchange |
15 | Jonathan J. Hull, John F. Cullen |
Document image similarity and equivalence detection. |
ICDAR |
1997 |
DBLP DOI BibTeX RDF |
document image similarity, equivalence detection, CCITT fax compressed representations, pass codes, compressed data, fixed grid, two dimensional arrangement, small patches, feature extraction, document image processing, Hausdorff distance, feature vector, document images, visual similarity, grid cell, hierarchical algorithm |
15 | Jarogniew Rykowski, Wojciech Cellary |
Using Multiversion Object-Oriented Databases in CAD/CIM Systems. |
DEXA |
1996 |
DBLP DOI BibTeX RDF |
multiversion object-oriented databases, contexts, representations, configuration management, versions, revisions, variants, engineering databases |
15 | Stephen S. Yau, Jun Wang |
A Framework for an Integrated Tool Set for Object-Oriented Analysis of Application Software Development. |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
integrated tool set, application software development, distributed parallel systems, object-oriented code generation, textual specifications, object-oriented design phase, integrated tools set, parallel programming, object-oriented programming, software tools, program verification, computer aided software engineering, CASE tools, object-oriented analysis, graphical representations, object-oriented software development, sequential systems |
15 | Ricardo A. Baeza-Yates |
Visualization of large answers in text databases. |
AVI |
1996 |
DBLP DOI BibTeX RDF |
set visualization, visual browsing, visual text database, visual tools, visual representations, visual query languages, visual analysis |
15 | A. Jonathan Howell, Hilary Buxton |
Towards unconstrained face recognition from image sequences. |
FG |
1996 |
DBLP DOI BibTeX RDF |
unconstrained face recognition, low resolution video information, input representations, receptive field functions, human vision system, Difference of Gaussian filtering, Gabor wavelet analysis, real-time unconstrained face recognition, classification, face recognition, image sequences, preprocessing, radial basis function network, generalisation, data capture |
15 | Kurt Schneider |
Prototypes as Assets, not Toys: Why and How to Extract Knowledge from Prototypes. |
ICSE |
1996 |
DBLP BibTeX RDF |
executable knowledge representations, explanation monitoring, hyperstructured information base, implementation tricks, personal prototyping environments, experiences, knowledge, concepts, software prototypes, software prototyping, computer applications, system monitoring |
15 | Georg Heidenreich, Mark Minas, Detlef Kips |
A New Approach to Consistency Control in Software Engineering. |
ICSE |
1996 |
DBLP BibTeX RDF |
change tracking, computer-based software process management, high-level formalism, life cycle models, software representations, software engineering, compilers, standards, software quality, project management, software process, configuration management, quality assurance, version control, software development management, software project management, consistency control, ISO standards, ISO 9000 |
15 | Abhijit Chatterjee, Bruce C. Kim, Naveena Nagi |
Low-cost DC built-in self-test of linear analog circuits using checksums. |
VLSI Design |
1996 |
DBLP DOI BibTeX RDF |
DC built-in self-test, catastrophic failures, line opens, DC transfer function, on-chip fault detection, BIST circuitry, fault diagnosis, built-in self test, integrated circuit testing, transfer functions, analogue integrated circuits, checksums, linear analog circuits, matrix representations, fault classes |
15 | George T. Chou |
A Model of Figure-Ground Segregation from Kinetic Occlusion. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
figure-ground segregation, kinetic occlusion, motion boundary detection, figure ground relationship, mixture motion information, foreground surfaces, distributed probabilistic modeling, network representations, spatiotemporal Gabor filters, parallel distributed processing, moving image decomposition, image segmentation, image segmentation, distributed algorithms, motion estimation, probability, motion information |
15 | Harpreet S. Sawhney, Serge Ayer, Monika Gorkani |
Dominant and multiple motion estimation for video representation. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
multiple motion estimation, dominant motion estimation, online video data, visual content based presentation, visual content based indexing, multiple motion representation, motion estimation, indexing, image sequences, image representation, video signal processing, visual representation, video frames, video representation, video capture, layered representations, motion information, video storage, video delivery, image information |
15 | Damon L. Tull, Robert J. Safranek |
Variable dimension quantization in the transform domain. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
piecewise-linear techniques, variable dimension quantization, linear quantizers, image sequence compression standards, low complexity quantizers, data stream redundancy reduction, signal-to-noise performance, frequency domain representations, JPEG image compression standard, image codecs, algorithm, data compression, image sequences, image coding, image compression, image representation, image representation, real time applications, transform coding, approximation theory, telecommunication standards, SNR, frequency-domain analysis, code standards, bit rates, quantisation (signal), transform domain, piecewise linear approximation, lossy image compression, uniform quantizers |
15 | Paul W. Fieguth, William W. Irving, Alan S. Willsky |
Multiresolution model development for overlapping trees via canonical correlation analysis. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
overlapping trees, multiscale stochastic models, Gaussian random processes, scale recursive dynamics, fast statistically optimal algorithm, tree nodes, estimation algorithm, optimal estimation results, error covariance information, statistics, image representation, trees (mathematics), error analysis, image resolution, Gaussian processes, random processes, estimation theory, multiresolution model, correlation methods, canonical correlation analysis, covariance analysis, multiscale representations, image pixel, image domain |
15 | Mahesh Mehendale, Sunil D. Sherlekar, G. Venkatesh 0001 |
Synthesis of multiplier-less FIR filters with minimum number of additions. |
ICCAD |
1995 |
DBLP DOI BibTeX RDF |
MCM based structures, iterative elimination, low pass FIR filters, circuit CAD, FIR filters, network synthesis, optimizing transformations, binary representations |
15 | Peter Lüders, Rolf Ernst |
Research report: improving browsing in information by the automatic display layout. |
INFOVIS |
1995 |
DBLP DOI BibTeX RDF |
automatic display layout, graph structured information, automatic layout system, time consuming, manual layout, user requests, display layouts, information retrieval, graphical user interfaces, user modelling, user model, human factors, computer animation, information network, graphical representations, information browsing, layout algorithms |
15 | Radomir S. Stankovic |
Functional Decision Diagrams for Multiple-Valued Functions. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
functional decision diagrams, uniform interpretation, binary switching functions, MV functions, Reed-Muller-Fourier representations, Reed-Muller-Fourier coefficients, decision theory, multivalued logic, Galois fields, Galois field, switching functions, multiple valued functions, multiple-valued functions |
15 | Yuji Ohi, Takafumi Aoki, Tatsuo Higuchi 0001 |
Redundant Complex Number Systems. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
redundant complex number systems, complex number representations, high-speed arithmetic circuits, positional number system, binary-tree multiple-operand addition, arithmetic algorithms, redundant number systems, carry-free addition |
15 | Ernst W. Mayr |
Scheduling interval orders in parallel. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
interval order scheduling, interval representations, transitively oriented digraph, undirected chordal complement, identical parallel processors, minimal length schedule, scheduling distance computation subroutine, incremental version, empty slots, interval order precedence constraints, scheduling, parallel algorithms, parallel algorithm, computational complexity, concurrency control, directed graphs, partial orders, NP-complete problems, deadlines, execution time, minimisation, interval graphs, optimal schedule, release times, NC-algorithm, CREW-PRAM, task systems |
15 | Christian Olivier, Thierry Paquet, Manuel Avila, Yves Lecourtier |
Recognition of handwritten words using stochastic models. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
global recognition, small lexicon, pseudo segmentation stage, anchor points, letter graphs, Akaike information criteria, word model, French cheque images, image segmentation, probability, Markov processes, handwriting recognition, Markov model, stochastic models, strokes, word processing, conditional probability, handwritten word recognition, bank data processing, cheque processing, structural representations, graphemes |
15 | Preston Briggs, Linda Torczon |
An Efficient Representation for Sparse Sets. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
compiler implementation, set representations, register allocation, set operations |
15 | Giuseppe Coppini, M. Demi, Riccardo Poli, Guido Valli |
An Artificial Vision System for X-ray Images of Human Coronary Trees. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
coronary tree expert analyzer, CORTEX structural noise, artificial vision system, human coronary trees, bidimensional shape, nonsubtracted radiographic images, nonstructural noise, biological shapes, grouping criteria, intermediate image representations, signal-detection-theory-like approach, computer vision, image segmentation, segmentation, expert systems, medical images, medical image processing, curves, cardiology, diagnostic radiography, X-ray images, bottom-up approach, edge points |
15 | Robert P. Goldman, Eugene Charniak |
A Language for Construction of Belief Networks. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
belief network construction language, directed acyclic graph representations, FRAIL3, forward-chaining language, conditional probability matrices, directed graphs, deductive databases, inference mechanisms, probability distributions, probabilistic reasoning, probabilistic logic, logic programming languages |
15 | Stephen Fickas, B. Robert Helm |
Knowledge Representation and Reasoning in the Design of Composite Systems. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
implementation process, human agents, deficiency-driven design, reasoning techniques, formal specification, knowledge representations, knowledge representation, software reusability, inference mechanisms, software prototyping, formal analysis, design reuse, rationalization, incremental design, composite systems, requirements acquisition |
15 | Howard B. Reubenstein, Richard C. Waters |
The Requirements Apprentice: Automated Assistance for Requirements Acquisition. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
Requirements Apprentice, human analyst, coherent internal representation, disorganized imprecise statements, dependency-directed reasoning, formal specifications, formal specification, artificial intelligence, knowledge representation, software tools, knowledge acquisition, knowledge acquisition, ambiguity, software requirements, automated tool, incompleteness, contradiction, requirements acquisition, hybrid knowledge representations |
15 | Shih-Ping Liou, Arnold H. Chiu, Ramesh C. Jain |
A Parallel Technique for Signal-Level Perceptual Organization. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
scene interpretation, signal-level perceptual organization, abstraction process, pattern recognition, parallel algorithm, parallel algorithms, image segmentation, knowledge representation, picture processing, filtering, filtering and prediction theory, symbolic representations, gray-level |
15 | Geoff Barrett |
Formal Methods Applied to a Floating-Point Number System. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
floating-point number system, binary floating-point arithmetic, ANSI/IEEE Std. 754-1985, set-theoretic specification language, sequential components, unpack, operands, proven rules, mathematically rigorous method, Inmos IMS T800 transputer, formal specification, formal methods, specification languages, digital arithmetic, Z, formalization, round, pack, program development, IEEE standard, floating-point unit, internal representations |
14 | Martin Heracles, Bram Bolder, Christian Goerick |
Fast detection of arbitrary planar surfaces from unreliable 3D data. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Danny Holten, Jarke J. van Wijk |
A user study on visualizing directed edges in graphs. |
CHI |
2009 |
DBLP DOI BibTeX RDF |
directed edges, information visualization, user studies, graphs, curves, lines |
14 | John R. Woodward, Ruibin Bai |
Canonical representation genetic programming. |
GEC Summit |
2009 |
DBLP DOI BibTeX RDF |
canonical again, canonical |
14 | Tomasz P. Michalak, Talal Rahwan, Jacek Sroka, Andrew James Dowell, Michael J. Wooldridge, Peter McBurney, Nicholas R. Jennings |
On representing coalitional games with externalities. |
EC |
2009 |
DBLP DOI BibTeX RDF |
coalition structure generation, partition function games, representation |
14 | Heesoo Kim, Shaowen Bao |
Distributed representation of perceptual categories in the auditory cortex. |
J. Comput. Neurosci. |
2008 |
DBLP DOI BibTeX RDF |
Categorical perception, Sensory cortex, Learning |
14 | Jeremy N. Bailenson, Nick Yee |
Virtual interpersonal touch: Haptic interaction and copresence in collaborative virtual environments. |
Multim. Tools Appl. |
2008 |
DBLP DOI BibTeX RDF |
Social touch, Collaborative virtual environments, Presence, Haptic interaction |
14 | Annie A. M. Cuyt, Franky Backeljauw, Stefan Becuwe, Michel Colman, Tom Docx, Joris Van Deun |
Continued Fractions for Special Functions: Handbook and Software. |
Numerical Validation in Current Hardware Architectures |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Yuhua Zhu, Yiming Wu, Xiuwen Liu, Washington Mio |
Transductive optimal component analysis. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Sven Hartrumpf, Ingo Glöckner, Johannes Leveling |
Efficient Question Answering with Question Decomposition and Multiple Answer Streams. |
CLEF |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jessica Lin 0001, Eamonn J. Keogh, Li Wei 0001, Stefano Lonardi |
Experiencing SAX: a novel symbolic representation of time series. |
Data Min. Knowl. Discov. |
2007 |
DBLP DOI BibTeX RDF |
Data mining, Time series, Discretize, Symbolic representation |
14 | Nivedita R. Kadaba, Pourang Irani, Jason Leboe |
Visualizing Causal Semantics Using Animations. |
IEEE Trans. Vis. Comput. Graph. |
2007 |
DBLP DOI BibTeX RDF |
animated graphs, visualizing cause and effect, graph semantics, visualization, semantics, perception, Causality |
14 | Steffen Volz |
Shortest Path Search in Multi-Representation Street Databases. |
Location Based Services and TeleCartography |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Ohad Inbar |
Graphical representation of statistical information in situations of judgment and decision-making. |
ECCE |
2007 |
DBLP DOI BibTeX RDF |
graphical representation of statistical information, probability representation, decision-making, uncertainty visualization, risk communication |
14 | Hiroyuki Goto, Naoyuki Takahashi, Munenori Kasahara, Yusuke Hasegawa |
Online monitoring and scheduling methods for event-varying DESs with capacity constraints. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Faisal Farooq, Ruud M. Bolle, Tsai-Yang Jea, Nalini K. Ratha |
Anonymous and Revocable Fingerprint Recognition. |
CVPR |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Kimberly S. Wasson |
A Case Study in Systematic Improvement of Language for Requirements. |
RE |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Wendy A. Schafer, Doug A. Bowman |
Integrating 2D and 3D views for spatial collaboration. |
GROUP |
2005 |
DBLP DOI BibTeX RDF |
groupware, awareness, collaborative virtual environments (CVE), collaborative visualization, interactive maps |
14 | Alon Spira, Ron Kimmel |
Enhancing Images Painted on Manifolds. |
Scale-Space |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Maria Beatriz Carmo, Sérgio Freitas, Ana Paula Afonso 0001, Ana Paula Cláudio |
Filtering mechanisms for the visualization of geo-referenced information. |
GIR |
2005 |
DBLP DOI BibTeX RDF |
degree of interest function, visualization, geo-referenced data, filtering mechanisms |
14 | Aidan Feeney, John Adams, Lara Webber, Michael P. Ewbank |
Individual Differences in Graphical Reasoning. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Evgueni N. Smirnov, Ida G. Sprinkhuizen-Kuyper, H. Jaap van den Herik |
One-Sided Instance-Based Boundary Sets. |
Database Support for Data Mining Applications |
2004 |
DBLP DOI BibTeX RDF |
|
14 | L. Darrell Whitley, Monte Lunacek, James N. Knight |
Ruffled by Ridges: How Evolutionary Algorithms Can Fail. |
GECCO (2) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Kamran Sedig |
Need for a Prescriptive Taxonomy of Interaction for Mathematical Cognitive Tools. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Nikhil Kikkeri, Peter-Michael Seidel |
Formal Hardware Verification based on Signal Correlation Properties. |
ICCD |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Moschitti, Roberto Basili 0001 |
Complex Linguistic Features for Text Classification: A Comprehensive Study. |
ECIR |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Tuba Yavuz-Kahveci, Tevfik Bultan |
A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Composite representation, BDD, Symbolic model checking, Presburger arithmetic |
14 | Nevine Maurice Ebeid, M. Anwar Hasan |
On Randomizing Private Keys to Counteract DPA Attacks. |
Selected Areas in Cryptography |
2003 |
DBLP DOI BibTeX RDF |
binary signed-digit representation, smart cards, Differential power analysis, elliptic curve cryptosystems, scalar multiplication |
14 | Taneli Mielikäinen |
Chaining Patterns. |
Discovery Science |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Robert Kelly, Julie Carson-Berndsen |
Computational Linguistic Motivations for a Finite-State Machine Hierarchy. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Teresa Hübscher-Younger, N. Hari Narayanan |
Constructive and collaborative learning of algorithms. |
SIGCSE |
2003 |
DBLP DOI BibTeX RDF |
CS 1&2, curricular issues, algorithm, pedagogy, courseware, web-based techniques, CS ed research |
14 | Pio Nardiello, Fabrizio Sebastiani 0001, Alessandro Sperduti |
Discretizing Continuous Attributes in AdaBoost for Text Categorization. |
ECIR |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Peter Z. Yeh, Bruce W. Porter, Ken Barker 0002 |
Using transformations to improve semantic matching. |
K-CAP |
2003 |
DBLP DOI BibTeX RDF |
inexact matching, ontology, transformations, conceptual graphs, semantic matching |
14 | Jessica Lin 0001, Eamonn J. Keogh, Stefano Lonardi, Bill Yuan-chi Chiu |
A symbolic representation of time series, with implications for streaming algorithms. |
DMKD |
2003 |
DBLP DOI BibTeX RDF |
data mining, data streams, time series, discretize, symbolic |
14 | Ichiro Umata, Yasuhiro Katagiri, Atsushi Shimojima |
Movement Conceptualizations in Graphical Communication. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
14 | William W. Cohen, Matthew Hurst, Lee S. Jensen |
A flexible learning system for wrapping tables and lists in HTML documents. |
WWW |
2002 |
DBLP DOI BibTeX RDF |
canopy, reference matching, learning, record linkage |
14 | Emanuele Danovaro, Leila De Floriani, Michael Thomas Lee, Hanan Samet |
Multiresolution Tetrahedral Meshes: An Analysis and a Comparison. |
Shape Modeling International |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 33246 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|