Search results for "characterisation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
65	Paul Thompson, Salah Sukkarieh	Development of an Angular Characterisation System for Cooperative UAV / UGV Applications.	FSR	2005	DBLP DOI BibTeX RDF	decentralised estimation, angular profile, information theoretic properties, vision, characterisation
51	Omid Rohanian, Hannah Jauncey, Mohammadmahdi Nouriborji, Vinod Kumar, Bronner P. Gonçalves, Christiana Kartsonaki, Isaric Clinical Characterisation Group, Laura Merson, David A. Clifton	Using Bottleneck Adapters to Identify Cancer in Clinical Notes under Low-Resource Constraints.	BioNLP@ACL	2023	DBLP DOI BibTeX RDF
45	David Calvo, Marcos Ortega, Manuel G. Penedo, José Rouco, Beatriz Remeseiro	Characterisation of Retinal Feature Points Applied to a Biometric System.	ICIAP	2009	DBLP DOI BibTeX RDF	Retinal verification, Feature points characterisation, Registration
45	Sira Vegas, Victor R. Basili	A Characterisation Schema for Software Testing Techniques.	Empir. Softw. Eng.	2005	DBLP DOI BibTeX RDF	testing technique selection, characterisation schema, Software testing
43	Alf Inge Wang, Carl-Fredrik Sørensen, Heri Ramampiaro, Hien Nam Le, Reidar Conradi, Mads Nygård	Using the MOWAHS Characterisation Framework for Development of Mobile Work Applications.	PROFES	2005	DBLP DOI BibTeX RDF
43	Robert K. Powalka, Nasser Sherkat, Robert J. Whitrow	Recognizer characterisation for combining handwriting recognition results at word level.	ICDAR	1995	DBLP DOI BibTeX RDF
40	Dilian Gurov, Marieke Huisman	Reducing Behavioural to Structural Properties of Programs with Procedures.	VMCAI	2009	DBLP DOI BibTeX RDF
40	Edward Ochmanski, Krystyna Stawikowska	A Star Operation for Star-Free Trace Languages.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF	star operation, star-free languages, traces
33	Pinar Heggernes, Daniel Meister 0001, Charis Papadopoulos	A Complete Characterisation of the Linear Clique-Width of Path Powers.	TAMC	2009	DBLP DOI BibTeX RDF
33	Tore Langholm	A descriptive characterisation of linear languages.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	Linear languages, Greibach normal form, Descriptive complexity
33	Joris De Kaey	On a More General Characterisation of Steiner Systems.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF
33	Martin Otto 0001	Modal and Guarded Characterisation Theorems over Finite Transition Systems.	LICS	2002	DBLP DOI BibTeX RDF
33	Clemens Lautemann, Nicole Schweikardt, Thomas Schwentick	A Logical Characterisation of Linear Time on Nondeterministic Turing Machines.	STACS	1999	DBLP DOI BibTeX RDF
33	Nicolas Lachiche, Pierre Marquis	Scope Classification: An Instance-Based Learning Algorithm with a Rule-Based Characterisation.	ECML	1998	DBLP DOI BibTeX RDF
33	Alper Demir 0001, Amit Mehrotra, Jaijeet S. Roychowdhury	Phase Noise in Oscillators: A Unifying Theory and Numerical Methods for Characterisation.	DAC	1998	DBLP DOI BibTeX RDF	verification, timing, design methodology, microprocessor
31	Christoph Becker 0001, Andreas Rauber, Volker Heydegger, Jan Schnasse, Manfred Thaller	A generic XML language for characterising objects to support digital preservation.	SAC	2008	DBLP DOI BibTeX RDF	XML languages, content characterisation, migration, digital preservation, preservation planning
31	Börkur Sigurbjörnsson, Roelof van Zwol	Flickr tag recommendation based on collective knowledge.	WWW	2008	DBLP DOI BibTeX RDF	aggregated tag suggestion, tag characterisation, tag co-occurence, flickr, tag recommendation, photo annotations, collective knowledge
31	Alberto Messina, Maurizio Montagnuolo, Maria Luisa Sapino	Characterizing Multimedia Objects through Multimodal Content Analysis and Fuzzy Fingerprints.	SITIS	2006	DBLP DOI BibTeX RDF	semantic characterisation, multimodal content analysis, multimedia fingerprint, broadcast, fuzzy clustering
31	Nadia Zerida, Nadine Lucas, Bruno Crémilleux	Combining linguistic and structural descriptors for mining biomedical literature.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	text mining preprocessing, categorisation, characterisation
31	Bécharia Nadji	Effect of Post-oxidation Annealing on the Electrical Properties of Anodic Oxidized Films in Pure Water.	PATMOS	2005	DBLP DOI BibTeX RDF	Anodic oxidation, Pure water, Fixed Charges, interface States density, Si/SiO2, Electrical characterisation, MOS Structures, Fowler-Nordheim tunnelling
31	Nasib Singh Gill, P. S. Grover	Few important considerations for deriving interface complexity metric for component-based systems.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	interface characterisation, interface complexity, interface complexity metric, software components
31	Lisa McElligott, Michelle Dillon, Krispin Leydon, Bruce Richardson, Mikael Fernström, Joseph A. Paradiso	'ForSe FIElds' - Force Sensors for Interactive Environments.	UbiComp	2002	DBLP DOI BibTeX RDF	sensor composition, sensor characterisation, sensor arrangement, self-organising sensors, interfacing, sensor, Gesture, signal processing, visualisation, physical design, resolution, weight, multiplexing, movement, force, demonstration, balance, effort
31	Puneet Sawhney, Haroon Rasheed	Static RAM generators with automated characterization techniques for a 0.5 micron triple-metal embedded array.	VLSI Design	1995	DBLP DOI BibTeX RDF	static RAM generators, automatic generator characterisation tool, triple-metal embedded array, metallized SRAMs, single-port static RAMs, dual-port static RAMs, user-defined size, 0.5 micron, application specific integrated circuits, integrated circuit design, circuit CAD, aspect ratio, ASIC design, SRAM chips, SRAM chips, module generators
30	Thomas C. P. Chau, S. Man Ho Ho, Philip Heng Wai Leong, Peter Zipf, Manfred Glesner	Generation of Synthetic Floating-Point benchmark circuits.	IPDPS	2009	DBLP DOI BibTeX RDF
30	Isolde Adler, Martin Grohe, Stephan Kreutzer	Computing excluded minors.	SODA	2008	DBLP BibTeX RDF
30	Antoine Meyer	Traces of Term-Automatic Graphs.	MFCS	2007	DBLP DOI BibTeX RDF
30	John D. Ainsworth, Robert Harper 0003, Ismael Juma, Iain E. Buchan	PsyGrid: Applying e-Science to Epidemiology.	CBMS	2006	DBLP DOI BibTeX RDF
30	Moshe Deutsch, Martin C. Henson	An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement.	APSEC	2005	DBLP DOI BibTeX RDF
30	Laura Alonso Alemany, Irene Castellón, Karina Gibert, Lluís Padró 0001	An Empirical Approach to Discourse Markers by Clustering.	CCIA	2002	DBLP DOI BibTeX RDF
30	Rachid Guerraoui, André Schiper	Genuine Atomic Multicast.	WDAG	1997	DBLP DOI BibTeX RDF
30	Filipe A. A. Santos, Andrew J. I. Jones, José Carmo	Action Concepts for Describing Organised Interaction.	HICSS (5)	1997	DBLP DOI BibTeX RDF
30	Igor Walukiewicz	Monadic Second Order Logic on Tree-Like Structures.	STACS	1996	DBLP DOI BibTeX RDF
30	Steve A. Schneider	Timewise Refinement for Communicating Processes.	MFPS	1993	DBLP DOI BibTeX RDF
26	Shayan Azizi, Ehsan Asadi, Shaun Howard, Benjamin W. Muir, Riley O'Shea, Alireza Bab-Hadiashar	Autonomous Hyperspectral Characterisation Station: Robotically Assisted Characterisation of Polymer Degradation.	CoRR	2024	DBLP DOI BibTeX RDF
26	Christoph Becker 0001, Andreas Rauber, Volker Heydegger, Jan Schnasse, Manfred Thaller	Systematic Characterisation of Objects in Digital Preservation: The eXtensible Characterisation Languages.	J. Univers. Comput. Sci.	2008	DBLP DOI BibTeX RDF
23	Arnold Beckmann	A Characterisation of Definable NP Search Problems in Peano Arithmetic.	WoLLIC	2009	DBLP DOI BibTeX RDF
23	Filiberto Pla, Gema Gracia, Pedro García-Sevilla, Majid Mirmehdi, Xianghua Xie	Multi-spectral Texture Characterisation for Remote Sensing Image Segmentation.	IbPRIA	2009	DBLP DOI BibTeX RDF	Texems, Texture analysis, multispectral images
23	Jan Schnasse, Sebastian Beyl, Elona Chudobkaite, Volker Heydegger, Manfred Thaller	XCL: The Extensible Characterisation Language - One Step towards an Automatic Evaluation of Format Conversions.	ECDL	2008	DBLP DOI BibTeX RDF
23	Carlos Platero, José Manuel Poncela, Pedro M. González, María C. Tobar, Javier Sanguino, Gabriel Asensio, Ernesto Santos	Liver segmentation for hepatic lesions detection and characterisation.	ISBI	2008	DBLP DOI BibTeX RDF
23	Shin-ya Katsumata	A Characterisation of Lambda Definability with Sums Via TT-Closure Operators.	CSL	2008	DBLP DOI BibTeX RDF
23	Ben Rudzyn, Mohammed Waleed Kadous, Claude Sammut	Real time robot audition system incorporating both 3D sound source localisation and voice characterisation.	ICRA	2007	DBLP DOI BibTeX RDF
23	Grant Osborne, G. Stewart Von Itzstein, Rudi Vernik	A Characterisation Model for Visual Interaction Interfaces.	IV	2007	DBLP DOI BibTeX RDF
23	Jon Arnold, Nigel G. Bean, Miro Kraetzl, Matthew Roughan, Matthew Sorell	Topology Reconstruction and Characterisation of Wireless Ad Hoc Networks.	ICC	2007	DBLP DOI BibTeX RDF
23	Daniel Meister 0001	A Characterisation of the Minimal Triangulations of Permutation Graphs.	WG	2007	DBLP DOI BibTeX RDF
23	Zining Cao	A Spatial Logical Characterisation of Context Bisimulation.	ASIAN	2006	DBLP DOI BibTeX RDF
23	Nicholas Journet, Rémy Mullot, Véronique Eglin, Jean-Yves Ramel	Dedicated Texture Based Tools for Characterisation of Old Books.	DIAL	2006	DBLP DOI BibTeX RDF
23	Vladimir S. Petrovic, Costas S. Xydeas	Objective Image Fusion Performance Characterisation.	ICCV	2005	DBLP DOI BibTeX RDF
23	Miguel Casas-Sanchez, Jose Rizo-Morente, Chris J. Bleakley	Power Consumption Characterisation of the Texas Instruments TMS320VC5510 DSP.	PATMOS	2005	DBLP DOI BibTeX RDF
23	Lyuba Alboul, Gilberto Echeverria	Polyhedral Gauss Maps and Curvature Characterisation of Triangle Meshes.	IMA Conference on the Mathematics of Surfaces	2005	DBLP DOI BibTeX RDF
23	Marcel van Gerven, Peter J. F. Lucas, Theo P. van der Weide	A Qualitative Characterisation of Causal Independence Models Using Boolean Polynomials.	ECSQARU	2005	DBLP DOI BibTeX RDF
23	Siaw-Lynn Ng	A Characterisation of Posets that Are nearly Antichains.	Order	2004	DBLP DOI BibTeX RDF	linear discrepancy, poset
23	Keith A. Hardie, Klaus Heiner Kamps, Peter J. Witbooi	A 2-groupoid Characterisation of the Cubical Homotopy Pushout.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	homotopy colimit, mapping simplex, homotopy 2-groupoid, coherent homotopy category, semitrack, interchange 2-track
23	Richard Stahl, Robert Pasko, Francky Catthoor, Rudy Lauwereins, Diederik Verkest	High-Level Data-Access Analysis for Characterisation of (Sub)task-Level Parallelism in Java.	HIPS	2004	DBLP DOI BibTeX RDF
23	Roland Carl Backhouse, Diethard Michaelis	Fixed-Point Characterisation of Winning Strategies in Impartial Games.	RelMiCS	2003	DBLP DOI BibTeX RDF
23	Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini	A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems.	DBISP2P	2003	DBLP DOI BibTeX RDF
23	Deepak D'Souza	A Logical Characterisation of Event Recording Automata.	FTRTFT	2000	DBLP DOI BibTeX RDF
23	Hélène Touzet	A Characterisation of Multiply Recursive Functions with Higman's Lemma.	RTA	1999	DBLP DOI BibTeX RDF
23	Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni	Towards a Characterisation of Finite-State Message-Passing Systems.	ASIAN	1998	DBLP DOI BibTeX RDF
21	Florent Bruguier, Pascal Benoit, Philippe Maurine, Lionel Torres	A New Process Characterization Method for FPGAs Based on Electromagnetic Analysis.	FPL	2011	DBLP DOI BibTeX RDF	ElectroMagnetic Analysis (EMA), Process Characterisation, Field-Programmable Gate Arrays (FPGAs), Ring Oscillator
21	Majed Alhaisoni, Antonio Liotta	Characterization of signaling and traffic in Joost.	Peer-to-Peer Netw. Appl.	2009	DBLP DOI BibTeX RDF	Traffic characterisation, Joost, P2P streaming
21	Christophe Hurter, Stéphane Conversy, Jean-Luc Vinot, Yannick Jestin	Représentations écologiques de données temporelles: exemples et apports.	IHM	2009	DBLP DOI BibTeX RDF	visualization, temporal data, characterisation
21	Peter Höfner, Bernhard Möller	An extension for feature algebra.	FOSD	2009	DBLP DOI BibTeX RDF	algebraic characterisation of FOSD, feature algebra, feature oriented software development
21	Patrick Lüscher, Robert Weibel, William A. Mackaness	Where is the Terraced House? On the Use of Ontologies for Recognition of Urban Concepts in Cartographic Databases.	SDH	2008	DBLP DOI BibTeX RDF	cartographic databases, ontology-driven pattern recognition, building types, geographical characterisation, ontologies
21	Nadia Zerida, Nadine Lucas, Bruno Crémilleux	Exclusion-inclusion based text categorization of biomedical articles.	ACM Symposium on Document Engineering	2007	DBLP DOI BibTeX RDF	text mining, categorization, characterisation
21	Bob Briscoe, Arnaud Jacquet, Carla Di Cairano-Gilfedder, Alessandro Salvatori, Andrea Soppera, Martin Koyabe	Policing congestion response in an internetwork using re-feedback.	SIGCOMM	2005	DBLP DOI BibTeX RDF	QoS, congestion, incentives, policing, characterisation
21	John C. Grundy, Guoliang Ding	Automatic Validation of Deployed J2EE Components Using Aspects.	ASE	2002	DBLP DOI BibTeX RDF	software component validation, component characterisation, validation agents, automated testing
21	Kui Zhang, Ioannis Pratikakis, Jan Cornelis 0001, Edgard Nyssen	Using Landmarks to Establish a Point-to-Point Correspondence between Signatures.	Pattern Anal. Appl.	2000	DBLP DOI BibTeX RDF	Curve characterisation, Handwritten text processing, Feature extraction, Pattern matching, Character recognition, Signature verification
21	Sadegh Abbasi, Farzin Mokhtarian, Josef Kittler	Curvature Scale Space Image in Shape Similarity Retrieval.	Multim. Syst.	1999	DBLP DOI BibTeX RDF	Multi-scale analysis, Image database retrieval, Performance characterisation, Shape similarity, Curvature scale space
21	Daniel C. Alexander	Advances in Daylight Statistical Colour Modelling.	CVPR	1999	DBLP DOI BibTeX RDF	Statistical colour modelling, daylight, performance characterisation, tracking, color modeling
21	Sugath Warnakulasuriya, Timothy Mark Pinkston	Characterization of Deadlocks in Interconnection Networks.	IPPS	1997	DBLP DOI BibTeX RDF	deadlocks characterisation, true deadlock detection, bidirectionality, routing adaptivity, node degree, deadlock formation, routing flexibility blocked messages, resource dependencies, simulator, interconnection networks, multiprocessor interconnection networks, virtual channels, buffer size, design parameters, deadlock-free routing algorithms
21	Frank Lebourgeois	Robust Multifont OCR System from Gray Level Images.	ICDAR	1997	DBLP DOI BibTeX RDF	gray levels characterisation, pattern recognition, features extraction, Character Recognition, scene analysis, character segmentation
21	Michael Goedecke, Sorin A. Huss, Kai Morich	Automatic Parallelization of the Visual Data-Flow Language Cantata for Efficient Characterization of Analog Circuit Behavior.	VL	1995	DBLP DOI BibTeX RDF	engineering workstations, Cantata visual data-flow language, analog circuit behavior characterisation, application specific functions, execution time reduction, data-flow scheduler, usable workstations, usable workstation performance, program availability, fully automated process, simulation, computational complexity, load balancing, parallel programming, resource allocation, visual languages, digital simulation, processor scheduling, circuit analysis computing, workloads, automatic parallelization, parallel languages, distributed environment, workstations, analogue circuits, control operators
20	Charles Pecheur, Franco Raimondi, Guillaume Brat	A formal analysis of requirements-based testing.	ISSTA	2009	DBLP DOI BibTeX RDF	requirements-based testing, coverage metrics
20	Yasmina Andreu, Pedro García-Sevilla, Ramón Alberto Mollineda	Dealing with Inaccurate Face Detection for Automatic Gender Recognition with Partially Occluded Faces.	CIARP	2009	DBLP DOI BibTeX RDF
20	Geoffrey Pearce	Examples of rank 3 product action transitive decompositions.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classifications 20B15, 05C25, 05E20
20	Pedro J. Ballester, Jonathan N. Carter	Model calibration of a real petroleum reservoir using a parallel real-coded genetic algorithm.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
20	Frederic Worm, Patrick Thiran, Paolo Ienne	Optimizing Checking-Logic for Reliability-Agnostic Control of Self-Calibrating Designs.	ISQED	2007	DBLP DOI BibTeX RDF
20	Michael Lees, Brian S. Logan 0001, Dan Chen, Ton Oguara, Georgios Theodoropoulos 0001	Analysing the Performance of Optimistic Synchronisation Algorithms in Simulations of Multi-Agent Systems.	PADS	2006	DBLP DOI BibTeX RDF
20	Damien Woods	Optical Computing and Computational Complexity.	UC	2006	DBLP DOI BibTeX RDF
20	Mehul Bhatt, J. Wenny Rahayu, Gerald Sterling	A Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
20	Andreas Jakoby, Maciej Liskiewicz	Revealing Additional Information in Two-Party Computations.	ASIACRYPT	2005	DBLP DOI BibTeX RDF
20	Makoto Hamana	Universal Algebra for Termination of Higher-Order Rewriting.	RTA	2005	DBLP DOI BibTeX RDF
20	Colin Stirling	Higher-Order Matching and Games.	CSL	2005	DBLP DOI BibTeX RDF	higher-order matching, games, typed lambda calculus
20	Kai Baukus, Ron van der Meyden	A Knowledge Based Analysis of Cache Coherence.	ICFEM	2004	DBLP DOI BibTeX RDF
20	Hu Jiawei, Alex Bailey, Alistair G. Sutcliffe	Visualisation Design Knowledge Reuse.	IV	2004	DBLP DOI BibTeX RDF
20	François Maurel	Nondeterministic Light Logics and NP-Time.	TLCA	2003	DBLP DOI BibTeX RDF	Light logics, implicit characterisations of complexity classes, NP complexity
20	Robert Headon	Movement Awareness for a Sentient Environment.	PerCom	2003	DBLP DOI BibTeX RDF
20	K. Singh, Caigen Liu, Clarence E. Capjack, Wojciech Rozmus, Christopher J. Backhouse	A Microfluidic Device with On-Chip Optical Waveguide Interrogation of Individual Biological Cells for Medical Diagnostics.	ICMENS	2003	DBLP DOI BibTeX RDF
20	Brett McElwee	Maximal and Minimal Semilattices on Ordered Sets.	Order	2001	DBLP DOI BibTeX RDF	free, filter, minimal, ideal, semilattice, maximal
20	Per Runeson, Magnus C. Ohlsson, Claes Wohlin	A Classification Scheme for Studies on Fault-Prone Components.	PROFES	2001	DBLP DOI BibTeX RDF
20	Antti Puhakka	Weakest Congruence Results Concerning "Any-Lock".	TACS	2001	DBLP DOI BibTeX RDF
20	Jonathan C. Carr, Richard K. Beatson, Jon B. Cherrie, Tim J. Mitchell, W. Richard Fright, Bruce C. McCallum, Tim R. Evans	Reconstruction and representation of 3D objects with radial basis functions.	SIGGRAPH	2001	DBLP DOI BibTeX RDF	mesh repair, point-cloud surfacing, variational implicit surfaces, RBF, Radial Basis Function, surface reconstruction, solid modeling, geometry compression
20	Steve A. Schneider	Abstraction and Testing in CSP.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Testing, Abstraction, Process algebra, CSP, Operational semantics, Failures semantics
20	Steve A. Schneider	Abstraction and Testing.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
20	Glynn Winskel	Event Structures as Presheaves -Two Representation Theorems.	CONCUR	1999	DBLP DOI BibTeX RDF
20	José Luiz Fiadeiro, Antónia Lopes	Algebraic Semantics of Coordination or What Is in a Signature.	AMAST	1998	DBLP DOI BibTeX RDF
20	Jean Michel Marie-Julie, Hassane Essafi	Using Ifs and Moments to Build a Quasi Invariant Image Index.	ECCV (1)	1998	DBLP DOI BibTeX RDF
20	Davide Sangiorgi	A Theory of Bisimulation for the pi-Calculus.	CONCUR	1993	DBLP DOI BibTeX RDF
20	Javier Esparza, Manuel Silva Suárez	Circuits, handles, bridges and nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Free Choice nets, Synthesis, Structure Theory
20	James H. Andrews	Proof-Theoretic Characterisations of Logic Programs.	MFCS	1989	DBLP DOI BibTeX RDF